Ralph Miarka

According to our database, Ralph Miarka authored at least 3 papers between 2000 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Inconsistency and underdefinedness in Z specifications.

Ralph Miarka

PhD thesis, 2002

Handling Inconsistencies in Z Using Quasi-Classical Logic.

Ralph Miarka, John Derrick, Eerke A. Boiten

Proceedings of the ZB 2002: Formal Specification and Development in Z and B, 2002

2000

Guards, Preconditions, and Refinement in Z.

Ralph Miarka, Eerke A. Boiten, John Derrick

Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000