Object-Z: A specification language advocated for the description of standards

Publisher Website

30 September 1995

journal article
Published by Elsevier BV in Computer Standards & Interfaces

Vol. 17 (5-6), 511-533
https://doi.org/10.1016/0920-5489(95)00024-o

Abstract

No abstract available

Keywords

Cited by 131 articles