Formal Analysis of Java Programs in JavaFAN - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Azadeh Farzan, Feng Chen, José Meseguer, Grigore Rosu. Formal Analysis of Java Programs in JavaFAN. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 501-505, Springer, 2004. [doi]

This author has not been identified. Look up 'Azadeh Farzan' in GoogleThis author has not been identified. Look up 'Feng Chen' in GoogleThis author has not been identified. It may be one of the following persons:

José Meseguer

Look up 'José Meseguer' in GoogleIdentified as Grigore Rosu

runs on WebDSL