FM 2005: Formal Methods: International Symposium of Formal ...
Preview
29. 30. 31. 32. 33. 34. www-users.cs.york.ac.uk/~leo. Marcel Oliveira, Ana Cavalcanti, and Jim Woodcock. Unifying theories in ProofPowerZ. Draft. University of York. January 2005. G. D. Plotkin. A Structural approach to Operational Semantics.