A Java code annotation approach for model checking software systems
Published in ACM Symposium on Applied Computing • Mar 11, 2007
Authors:,,
Glauber Ferreira
Emerson Loureiro
Elthon A. S. Oliveira
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!