A. W. Roscoe
First name(s): A. W.
Last name(s): Roscoe

Publications of A. W. Roscoe
2000
Philippa J. Broadfoot and A. W. Roscoe, 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
[URL]
1997