Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings


Butler, Michael, Schewe, Klaus-Dieter, Mashkoor, Atif and Biro, Miklos (eds.) (2016) Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings, Berlin, DE, Springer (Lecture Notes in Computer Science, 9675).

Download

Full text not available from this repository.

Item Type: Book
Digital Object Identifier (DOI): doi:10.1007/978-3-319-33600-8
ISBNs: 9783319335995 (print)
9783319254234 (print)
9783319336008 (electronic)
Organisations: Electronics & Computer Science
ePrint ID: 394837
Date :
Date Event
May 2016Published
Date Deposited: 20 May 2016 08:17
Last Modified: 19 Feb 2017 02:56
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/394837

Actions (login required)

View Item View Item