EAN: 9783319119359

AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALY...

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.

Aktuelle Preise zur EAN 9783319119359

Produktinformationen zur 9783319119359