Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings


Book Informaton

Verification, Model Checking, and Abstract Interpretation: 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings

Author

Bernhard Steffen; Giorgio Levi

Series

Lecture Notes in Computer Science

Volume

2937

Year of Publication

2004

Publisher

Springer Berlin Heidelberg

Language

EN

ISBN

9783540208037, 9783540246220

ARI Id

1674219693983


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 10 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.