
Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers
Agostino Cortesi
Todavía no hay reseñas. ¿Escribes la primera?

Agostino Cortesi

Bernhard Steffen, Giorgio Levi

E. Allen Emerson, Kedar S. Namjoshi

Neil Jones, Markus Müller-Olm

Alexander Supalov, Andrey Semin, Christopher Dahnken, Michael Klemm

Alessandra Russo, Andy Schürr

Isil Dillig, Serdar Tasiran

Scott Chacon