Title
Whither Specifications as Programs.
Year
DOI
Venue
2019
10.1007/978-3-030-31038-7_3
UTP
Field
DocType
Citations 
Software engineering,Computer science,Theoretical computer science
Conference
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
David Naumann1110184.12
Minh Ngo200.68