GSOS Formalized in Coq

Find Full text
Thumbnail
Fulltext:
117009.pdf
Size:
283.3Kb
Format:
PDF
Description:
Author’s version preprint
Download
Publication year
2013
Author(s)
Madlener, K.
Smetsers, S.
Publisher
Los Alamitos : IEEE
ISBN
9780769550534
In
O'Conner, L. (ed.), TASE 2013 : 2013 International Symposium on Theoretical Aspects of Software Engineering, 1-3 July, 2013 Proceedings, pp. 199-206
DOI
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

Upload full text

Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.