Title
A Proposal for a Framework to Accompany Formal Methods Learning Tools - (Short Paper).
Year
DOI
Venue
2021
10.1007/978-3-030-91550-6_3
FMTea
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
2
Name
Order
Citations
PageRank
Norbert Hundeshagen1214.86
Martin Lange244722.83