Advances in theory and formal methods of computing : proceedings of the Third Imperial College Workshop : Christ Church, Oxford, 1-3 April 1996

“…Imperial College Department of Computing Workshop on Theory and Formal Methods…”