Automated Technology for Verification and Analysis (ATVA 2005) - Preface
Resource
International Journal of Foundations of Computer Science,18(1),1-3.
Journal
International Journal of Foundations of Computer Science
Journal Volume
18
Journal Issue
1
Pages
1-3
Date Issued
2007-02
Date
2007-02
Author(s)
Peled, D. A.
Tsay, Y. -K.