George Alexander McCaskill

Publication Activity (10 Years)

Years Active: 1994-1994
Publications (10 Years): 0

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Andrew M. Bailey, George Alexander McCaskill, George J. Milne
An Exercise in the Automatic Verification of Asynchronous Designs. Formal Methods Syst. Des. 4 (3) (1994)