An Approach to the Design of Distributed Systems with B AMN (Extended Version) (1996)

Cached

Download Links

by Michael Butler
Venue:ZUM ’97: The Z Formal Specification Notation, 10th International Conference of Z Users
Citations:30 - 14 self