Author Info
Name
Affiliation
Papers
D'ALMEIDA, J.
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada|c|
1
Collaborators
Citations 
PageRank 
3
1
0.36
Referers 
Referees 
References 
2
15
7
Title
Citations
PageRank
Year
Transformation of a semi-formal specification to VDM10.361992