Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Verification, model checking, and abstract interpretation : 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

57

Bibliographic Details
Main Authors: VMCAI 2006 (2006 : Charleston, S.C.), Emerson, E. Allen, Namjoshi, Kedar S.
Format:
Language:eng
Published: New York, NY : Springer, 2006
Subjects:
Computer programs

Similar Items