Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Azah Mohamed
Clayton D. Scott
muljowidodo kartidjo
Shyam Kamal
Duzgun, H.Sebnem
Jean Jourdan
Àlber Filbà-Martínez
Roland Zumkeller
Maximilian Dürr
Dan Graur
Home
/
Paper
/
A Graphical User Interface Framework for Formal Verification.
Paper Info
Open Visualization
Title
A Graphical User Interface Framework for Formal Verification.
Year
DOI
Venue
2021
10.4230/LIPIcs.ITP.2021.4
ITP
DocType
Citations
PageRank
Conference
0
0.34
References
Authors
0
3
Authors (3 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
Edward W. Ayers
1
0
0.68
Mateja Jamnik
2
158
30.79
William T. Gowers
3
0
0.34
1