author : Ralph Miarka

Short works

• Guards, Preconditions and Refinement in Z. 2000. (In ZB 2000 )
• Handling Inconsistencies in Z Using Quasi-Classical Logic. 2002. (In ZB 2002 )