Paper Info
Title
AsmetaF: A Flattener for the ASMETA Framework.
Year
Venue
DocType
2018
International Symposium on Formal Methods
Conference
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Paolo Arcaini132.77
Riccardo Melioli200.68
Elvinia Riccobene380570.52