Automated Technology for Verification and Analysis (ATVA 2005)

Peled, D. A.D. A.PeledTsay, Y. -K.Y. -K.Tsay2010-10-132018-06-292010-10-132018-06-292007-02http://ntur.lib.ntu.edu.tw//handle/246246/214892en-USAutomated Technology for Verification and Analysis (ATVA 2005) - Preface