ZUM '98: The Z Formal Specification Notation 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Bowen, Jonathan P. (Editor, http://id.loc.gov/vocabulary/relators/edt), Fett, Andreas (Editor, http://id.loc.gov/vocabulary/relators/edt), Hinchey, Michael G. (Editor, http://id.loc.gov/vocabulary/relators/edt)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1998.
• Edition: 1st ed. 1998.
• Series: Lecture Notes in Computer Science, 1493
• Subjects: Software engineering.; Computer logic.; Computer programming.; Mathematical logic.; Software Engineering/Programming and Operating Systems.; Software Engineering.; Logics and Meanings of Programs.; Programming Techniques.; Mathematical Logic and Formal Languages.

1 In a number of recent presentations - most notably at FME'96 -oneofthe foremost scientists in the ?eld of formal methods, C.A.R. Hoare,has highlighted the fact that formal methods are not the only technique for producing reliable software. This seems to have caused some controversy,not least...