Author Info
Name
Affiliation
Papers
FERNANDO ṔEREZ MORENTE
Univ Complutense Madrid, Dept Sistemas Informat & Computac, E-28040 Madrid, Spain
1
Collaborators
Citations 
PageRank 
1
0
0.34
Referers 
Referees 
References 
0
5
2
Title
Citations
PageRank
Year
An Innovative Teaching Tool Based On Semantic Tableaux For Verification And Debugging Of Imperative Programs00.342011