Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings - researchr publication references

researchr

You are not signed in
Sign in
Sign up

Lenore D. Zuck, Paul C. Attie, Agostino Cortesi, Supratik Mukhopadhyay, editors, Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Volume 2575 of Lecture Notes in Computer Science, Springer, 2003.

Conference: vmcai2003

No references recorded for this publication.

No citations of this publication recorded.

runs on WebDSL