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