Formal Techniques for Java-Like Programs
Published in Lecture notes in computer science • Jan 1, 2009
Authors:,,
Elvira Albert
Anindya Banerjee
Sophia Drossopoulou
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!