Proving consistency of VDM models using HOL

Thumbnail
Fulltext:
84163.pdf
Size:
370.7Kb
Format:
PDF
Description:
Publisher’s version
Download
Publication year
2010
Author(s)
Vermolen, S.D.
Hooman, J.J.M.
Larsen, P.G.
Publisher
New York : ACM
ISBN
9781605586380
In
Proceedings of the .... ACM Symposium on Applied Computing, (2010)Symposium on Applied Computing archive : The 25th Annual ACM Symposium on Applied Computing : Proceedings of the 2010 ACM Symposium on Applied Computing, Sierre, Switzerland, March 22 - 26, 2010, pp. 2503-2510
ISSN
DOI
Annotation
SAC 2010, 22 maart 2010
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/84163   https://hdl.handle.net/2066/84163
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.