Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
H. M. Aus
Claudia Calabrese
Maria Concetta Palumbo
Jea-cheoul Ryou
Robbiano Luca
Jhonathan Pinzon
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Paper
/
Hoare-Style Logic for Unstructured Programs.
Paper Info
Open Visualization
Title
Hoare-Style Logic for Unstructured Programs.
Year
DOI
Venue
2020
10.1007/978-3-030-58768-0_11
SEFM
DocType
Citations
PageRank
Conference
0
0.34
References
Authors
0
4
Authors (4 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Didrik Lundberg
1
0
0.34
Roberto Guanciale
2
54
5.05
Lindner, A.
3
5
1.22
Mads Dam
4
754
61.86
1