Ralph Miarka

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

2 Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225

2000

1 Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303

	2002
2		Ralph Miarka, John Derrick, Eerke A. Boiten: Handling Inconsistencies in Z Using Quasi-Classical Logic. ZB 2002: 204-225
	2000
1		Ralph Miarka, Eerke A. Boiten, John Derrick: Guards, Preconditions, and Refinement in Z. ZB 2000: 286-303

Coauthor Index