Title
Safe Decomposition of Startup Requirements: Verification and Synthesis.
Year
Venue
DocType
2020
European Joint Conferences on Theory And Practice of Software
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
5
Name
Order
Citations
PageRank
Alessandro Cimatti101.69
Luca Geatti202.37
Alberto Griggio301.01
Greg Kimberly400.34
Stefano Tonetta557341.61