Probabilistic Termination in B

ZB 2003: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/3-540-44880-2_15 ◽

2003 ◽

pp. 216-239 ◽

Author(s):

Annabelle McIver ◽

Carroll Morgan ◽

Thai Son Hoang

Download Full-text