Title
Reflections on Teaching Formal Methods for Software Development in Higher Education.
Year
DOI
Venue
2019
10.1007/978-3-030-57663-9_3
FISEE
DocType
Citations 
PageRank 
Conference
0
0.34
References 
Authors
0
6
Name
Order
Citations
PageRank
Mansur Khazeev112.06
Hamna Aslam201.69
Daniel de Carvalho352.90
Manuel Mazzara449364.05
Jean-Michel Bruel543173.95
Joseph Alexander Brown67018.66