Special issue on Automated Verification of Critical Systems (AVoCS 2013)

S Schneider; H Treharne

doi:10.1016/j.scico.2015.08.006

Back

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

Journal article

Peer reviewed

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

S Schneider and H Treharne

SCIENCE OF COMPUTER PROGRAMMING, Vol.111, pp.213-213

01/11/2015

DOI: https://doi.org/10.1016/j.scico.2015.08.006

Abstract

Science & Technology

Technology

Computer Science

Software Engineering

Files and links (1)

url

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000368556700001&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=11d2a86992e85fb529977dad66a846d5View

Author

Metrics

27 Record Views

Details

Title: Special issue on Automated Verification of Critical Systems (AVoCS 2013)
Creators: S Schneider
H Treharne - University of Surrey, School of Computer Science and Electronic Engineering
Publication Details: SCIENCE OF COMPUTER PROGRAMMING, Vol.111, pp.213-213
Publisher: Elsevier
Date published: 01/11/2015
Identifiers: 99513421002346
Academic Unit: University of Surrey; School of Computer Science and Electronic Engineering
Language: English
Resource Type: Journal article

Special issue on Automated Verification of Critical Systems (AVoCS 2013)

Abstract

Files and links (1)

Metrics

Details

Usage Policy