ZB 2005: Formal Specification and Development in Z and B: ...
Preview
Thai Son Hoang, Zhendong Jin, Ken Robinson, Annabelle McIver, and Carroll Morgan. Probabilistic Invariants for Probabilistic Machines. In D. Bert, J. P. Bowen , S. King, and M. Waldén, editors, ZB2003: Formal Specification and Development ...