👤

Marina Waldén

2 books

Books by Marina Waldén

ZB 2003 : Formal Specification
ZB 2003 : Formal Specification and Development in Z and B
2003
Formal Reasoning About Distrib
Formal Reasoning About Distributed Algorithms
1998