Automated technology for verification and analysis : 4th international symposium, ATVA 2006, Beijing, China, October 23-26, 2006 : proceedings /
Saved in:
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Electronic Conference Proceeding eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2006.
|
Series: | Lecture notes in computer science
4218. |
Subjects: |