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

Schneider, S and Treharne, H (2015) Special issue on Automated Verification of Critical Systems (AVoCS 2013) SCIENCE OF COMPUTER PROGRAMMING, 111. p. 213.

Full text not available from this repository.

Item Type:	Article
Divisions :	Surrey research (other units)
Authors :	Name Email ORCID Schneider, S s.schneider@surrey.ac.uk Treharne, H h.treharne@surrey.ac.uk
Date :	1 November 2015
DOI :	10.1016/j.scico.2015.08.006
Uncontrolled Keywords :	Science & Technology, Technology, Computer Science, Software Engineering, Computer Science
Related URLs :	Author
Depositing User :	Symplectic Elements
Date Deposited :	17 May 2017 13:45
Last Modified :	25 Jan 2020 00:19
URI:	http://epubs.surrey.ac.uk/id/eprint/840234

Actions (login required)

View Item

Downloads