EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax
Conference Paper
(2011)
Author(s)
B Vos de (External organisation)
L.C.L. Kats (TU Delft - Software Engineering)
C. Pronk (TU Delft - Software Engineering)
Research Group
Software Engineering
To reference this document use:
https://resolver.tudelft.nl/uuid:f5434540-508b-4414-9a43-5e78dff3eaf4
More Info
expand_more
expand_more
Publication Year
2011
Language
English
Research Group
Software Engineering
Pages (from-to)
177-182
ISBN (print)
987-3-642-22305-1
No files available
Metadata only record. There are no files for this record.