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

Journal

International Journal of Foundations of Computer Science

Journal Volume

18

Journal Issue

1

Pages

1-3

Date Issued

2007

Author(s)

Peled, D.A.

DOI

10.1142/S0129054107004541

URI

http://www.scopus.com/inward/record.url?eid=2-s2.0-33846988946&partnerID=MN8TOARS

http://scholars.lib.ntu.edu.tw/handle/123456789/329747

Type

journal article