EAN: 9783319249520

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALY...

This book constitutes the proceedings of the 13th International Symposium on Automated
Technology for Verification and Analysis  ATVA 2015  held in Shanghai  China  in October 2015.
The 27 revised papers presented together with 6 tool papers in this volume were carefully
reviewed and selected from 95 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.

Aktuelle Preise zur EAN 9783319249520

Produktinformationen zur 9783319249520