Paper Info
Title
Synthesis of P-Stable Abstractions.
Year
DOI
Venue
2020
10.1007/978-3-030-58768-0_12
SEFM
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
3
Name
Order
Citations
PageRank
Anna Becchi100.34
Alessandro Cimatti25064323.15
Enea Zaffanella363135.31