Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Clayton D. Scott
Loren Carrasco-Martorell
muljowidodo kartidjo
Duzgun, H.Sebnem
Jean Jourdan
Roland Zumkeller
Maximilian Dürr
Dan Graur
Salvatore Signorino
Reza Entezari-Maleki
Home
/
Paper
/
Bidirectional Certified Programming.
Paper Info
Open Visualization
Title
Bidirectional Certified Programming.
Year
Venue
DocType
2017
BX@ETAPS
Conference
Citations
PageRank
References
0
0.34
0
Authors
2
Authors (2 rows)
Cited by (0 rows)
References (0 rows)
Name
Order
Citations
PageRank
d kinoshita
1
2
0.76
Keisuke Nakano
2
212
24.62
1
