Marina Waldén · 2 obras en el catálogoObrasZZB 2003 : Formal Specification and Development in Z and BZB 2003 : Formal Specification and Development in Z and BFFormal Reasoning About Distributed AlgorithmsFormal Reasoning About Distributed Algorithms
ZZB 2003 : Formal Specification and Development in Z and BZB 2003 : Formal Specification and Development in Z and B