Kevin Lano;Juan Bicarregui;José Luiz Fiadeiro;Antónia Lopes
-;-;-;-
Guards, Preconditions, and Refinement in Z
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B