B Vos de | TU Delft Repository

BV

B Vos de

Conference paper (1)

1 records found

1

EpiSpin: an Eclipse Plug-in for Promela/Spin using Spoofax

Conference paper (2011) - B Vos de (author), L.C.L. Kats (author), C. Pronk (author)