Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14).

Published in: Sci. Comput. Program. (2016)

Keyphrases