Eduardo Berbis
According to our database1,
Eduardo Berbis
authored at least 2 papers
between 2011 and 2012.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2012
TVT: A Software Verification Package for the Interactive Learning of Formal Programming Techniques - An Educational Experience.
Proceedings of the CSEDU 2012, 2012
2011
A Logic Teaching Tool Based on Tableaux for Verification and Debugging of Algorithms.
Proceedings of the Tools for Teaching Logic - Third International Congress, 2011