Fulltext present in this item

Thumbnail
Fulltext: 117009.pdf
Format: PDF
Description: preprint version
Title: GSOS Formalized in Coq
Author(s): Madlener, K.; Smetsers, S.
Publication year: 2013
In: O'Conner, L. (ed.), TASE 2013 : 2013 International Symposium on Theoretical Aspects of Software Engineering, 1-3 July, 2013 Proceedings, pp. 199-206
Publisher: Los Alamitos : IEEE
ISBN: 9780768550534
DOI: https://doi.org/10.1109/TASE.2013.34
Annotation: TASE 2013 : 2013 International Symposium on Theoretical Aspects of Software Engineering, 1-3 July, 2013, Birmingham, United Kingdom
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/117009   https://hdl.handle.net/2066/117009

Display more details
Editor(s): O'Conner, L.
Subject: Digital Security
Organization: Digital Security
Security of Systems
Software Science
Book title: O'Conner, L. (ed.), TASE 2013 : 2013 International Symposium on Theoretical Aspects of Software Engineering, 1-3 July, 2013 Proceedings
Page start: p. 199
Page end: p. 206

This item appears in the following Collection(s)

Browse

Statistics