David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power. Four Logics and a Protocol. In Andrew Butterfield, Klemens Haegele, editors, 3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999. Workshops in Computing, BCS, 1999.
No references recorded for this publication.
No citations of this publication recorded.