Application of Z in Modeling Software Systems

Date

1992

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

Keywords

software, systems

Citation