Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

Cover image for Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Title:

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Author:

Jones, Neil D. editor.

ISBN:

9783540939009

Physical Description:

online resource.

Series:

Lecture Notes in Computer Science, 5403

Series Title:

Lecture Notes in Computer Science, 0302-9743 ; 5403

Subject Term:

Computer science.