Ralph Miarka

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

University of Kent, UK (PHD)

Education History

University of Kent, UK

PHD

Publications

Ralph Miarka, John Derrick, Eerke A. Boiten
Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB (2002)
Ralph Miarka, Eerke A. Boiten, John Derrick
Guards, Preconditions, and Refinement in Z. ZB (2000)