Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009

Zhiming Liu (Editor), Anders Peter Ravn (Editor)

Research output: Book/Report › Anthology › Research

Fingerprint

Dive into the research topics of 'Automated Technology for Verificiation and Analysis: Proceedings 7th International Symposium, ATVA 2009'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Agricultural and Biological Sciences