Title
A Specification Logic for Programs in the Probabilistic Guarded Command Language
Year
DOI
Venue
2022
10.1007/978-3-031-17715-6_24
International Colloquium on Theoretical Aspects of Computing (ICTAC)
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
4
Name
Order
Citations
PageRank
Raúl Pardo1153.49
Einar Broch Johnsen202.37
Ina Schaefer3163499.16
Andrzej Wasowski41017.52