Automated technology for verification and analysis (ATVA 2005): Preface

Peled, D.A.D.A.PeledYIH-KUEN TSAY2018-09-102018-09-102007http://www.scopus.com/inward/record.url?eid=2-s2.0-33846988946&partnerID=MN8TOARShttp://scholars.lib.ntu.edu.tw/handle/123456789/329747Automated technology for verification and analysis (ATVA 2005): Prefacejournal article10.1142/S0129054107004541