Publication

Information Processing Letters

Paper

The date refinement calculator for Z specifications

Information Processing Letters

View publication

Abstract

No abstract available.

Date

15 Feb 1988

Publication

Information Processing Letters

Authors

Mark B. Josephs

IBM-affiliated at time of publication

Topics

Computer Science