Z specifications of the Diagnostic Toolbox: the diagnostic module(SKBS/A1/92-18)

P.C.A. van den Bempt, R.R. Bakker

Research output: Contribution to journal › Article › Professional

Keywords

@article{717b8640875a48709290eee4f5085264,

title = "Z specifications of the Diagnostic Toolbox: the diagnostic module(SKBS/A1/92-18)",

keywords = "METIS-121993",

author = "{van den Bempt}, P.C.A. and R.R. Bakker",

year = "1992",

language = "Undefined",

volume = "92",

pages = "--",

journal = "Memoranda informatica",

issn = "0924-3755",

publisher = "University of Twente",

number = "30",

}