Recursive Definitions in Z (1998)

Cached

Download Links

by R.D. Arthan
Venue:ZUM’98: The Z Formal Specification Notation, volume 1493 of Lecture Notes in Computer Science
Citations:5 - 0 self