ePrints

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

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD, Emeritus Professor Alexander RomanovskyORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Publication metadata

Author(s): Jones C, Romanovsky A

Publication type: Editorial

Publication status: Published

Journal: Science of Computer Programming

Year: 2014

Volume: 82

Pages: 1-1

Print publication date: 01/03/2014

ISSN (print): 0167-6423

ISSN (electronic): 1872-7964

Publisher: Elsevier BV

URL: http://dx.doi.org/10.1016/j.scico.2013.06.001

DOI: 10.1016/j.scico.2013.06.001

Share