Model Checking, the Technology and the Tools
Conference Paper
(2012)
Author(s)
C. Pronk (TU Delft - Software Engineering)
Research Group
Software Engineering
DOI related publication
https://doi.org/10.1109/ICSEngT.2012.6339364
To reference this document use:
https://resolver.tudelft.nl/uuid:15c7d660-5584-4af3-8c00-ecce664c555b
More Info
expand_more
expand_more
Publication Year
2012
Language
English
Research Group
Software Engineering
Pages (from-to)
1-2
No files available
Metadata only record. There are no files for this record.