Proving consistency of VDM models using HOL
Conference Paper
(2010)
Author(s)
SD Vermolen (TU Delft - Software Engineering)
J Hooman (External organisation)
PG Larsen (External organisation)
Research Group
Software Engineering
DOI related publication
https://doi.org/http://doi.acm.org/10.1145/1774088.1774608
To reference this document use:
https://resolver.tudelft.nl/uuid:d4c41dcc-4db5-4d7d-affb-0e59f299cc02
More Info
expand_more
expand_more
Publication Year
2010
Language
English
Research Group
Software Engineering
Pages (from-to)
2503-2510
ISBN (print)
978-1-60558-639-7
No files available
Metadata only record. There are no files for this record.