Publications of Philippa J. Broadfoot sorted by journal and type
Publications of type Inproceedings
2000
Tutorial on FDR and Its Applications, in: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification, pages 322--, Springer-Verlag, 2000 | and ,
[URL] |