Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

Automated Technology for Verification and Ana ...
Franck Cassez, Jean-Francois R ...
Locate

My Reading Lists:

Create a new list


Buy this book

Last edited by ImportBot
October 5, 2021 | History

Automated Technology for Verification and Analysis

12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings

This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.

Publish Date
Language
English
Pages
430

Buy this book

Book Details


Classifications

Library of Congress
QA75.5-76.95

Edition Identifiers

Open Library
OL34520409M
ISBN 13
9783319119366

Work Identifiers

Work ID
OL20773011W

Source records

Better World Books record

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
October 5, 2021 Created by ImportBot Imported from Better World Books record