Non abbiamo ancora una biografia di Marina Walden.
Pubblicato in Inglese
ZB 2003 : Formal Specification and Development in Z and B
2003
Formal Reasoning About Distributed Algorithms
1998
Otium