Verifying Transformations of Java Programs Using Alloy
Published in Lecture notes in computer science • Jan 1, 2016
NobleIDNI2P21W37R13S23
Authors:,,
Tarciana Dias da Silva
Augusto Sampaio
Alexandre Mota
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!