ZB 2005: Formal Specification and Development in Z and B: ...

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 ...

Download

Download Free Books Downloader

Version: 1.0.0.1. File Size: 1.97 MB