Toggle Main Menu Toggle Search

Open Access padlockePrints

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

Lookup NU author(s): Professor Cliff JonesORCiD, 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