EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax
Conference Paper
(2011)
Author(s)
B Vos de (External organisation)
LCL 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
Publisher
Springer
ISBN (print)
987-3-642-22305-1
Event
SPIN 2011 (2011-07-14 - 2011-07-15), Berlin
Downloads counter
105
No files available
Metadata only record. There are no files for this record.