Title
Selected papers from the Brazilian Symposiums on Formal Methods (SBMF 2012 and 2013)
Year
Venue
Field
2015
Science of Computer Programming
Programming language,Computer science,Mathematics education,Formal methods
DocType
Volume
Citations 
Journal
107-108
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Rohit Gheyi161840.66
Juliano Iyoda2619.21