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

• Authors:

• Jeffrey J. Joyce;Nancy A. Day;Michael R. Donat

• Affiliations:

• -;-;-

• Venue:
• Proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications
• Year:
• 1994