S: A Machine Readable Specification Notation based on Higher Order Logic (1994)

Cached

Download Links

by J. Joyce , N. Day , M. Donat
Venue:IN 7TH INTERNATIONAL WORKSHOP ON HIGHER ORDER LOGIC THEOREM PROVING AND ITS APPLICATIONS
Citations:11 - 7 self