Title
Integrating Topological Proofs with Model Checking to Instrument Iterative Design.
Year
Venue
DocType
2020
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Claudio Menghi132.44
Alessandro Maria Rizzi200.68
Anna Bernasconi334.26