Publication
Information Processing Letters
Paper

The date refinement calculator for Z specifications

View publication

Abstract

No abstract available.

Date

Publication

Information Processing Letters

Authors

Topics

Share