Paper Info
Title
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2011).
Year
Venue
Field
2014
Sci. Comput. Program.
Programming language,Computer science,Mathematics education,Formal methods
DocType
Volume
Citations 
Journal
92
0
PageRank 
References 
Authors
0.34
0
2
Name
Order
Citations
PageRank
Adenilso da Silva Simão101.35
C. C. Morgan21462174.73