Paper Info
Title
Specifying Program Properties Using Modal Fixpoint Logics - A Survey of Results.
Year
DOI
Venue
2019
10.1007/978-3-662-58771-3_5
ICLA
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Martin Lange144722.83