DaftarIsitemplate
 
Call Number
004 Woo f
Title
Specifying a safety-critical control system in Z, (LNCS-Lecture Notes in Computer Science 670) Hal 388-402
Author
Jonathan Jacky;
Publisher
Springer, 1993
Subject
Location