A Java code annotation approach for model checking software systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Glauber Ferreira, Emerson Loureiro, Elthon A. S. Oliveira. A Java code annotation approach for model checking software systems. In Yookun Cho, Roger L. Wainwright, Hisham Haddad, Sung Y. Shin, Yong Wan Koo, editors, Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007. pages 1536-1537, ACM, 2007. [doi]

This author has not been identified. Look up 'Glauber Ferreira' in GoogleThis author has not been identified. Look up 'Emerson Loureiro' in GoogleThis author has not been identified. Look up 'Elthon A. S. Oliveira' in Google

runs on WebDSL