Improving Software Tests using Z Specifications (1995)

Cached

Download Links

by Hans-Martin Horcher
Venue:In Proc. 9th International Conference of Z Users, The Z Formal Specification Notation
Citations:35 - 0 self