Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs

Clemens Fischer. Software Development with Object-Z, CSP, and Java: A Pragmatic Link from Formal Specifications to Programs. In Ana M. D. Moreira, Serge Demeyer, editors, Object-Oriented Technology, ECOOP 99 Workshop Reader, ECOOP 99 Workshops, Panels, and Posters, Lisbon, Portugal, June 14-18, 1999, Proceedings. Volume 1743 of Lecture Notes in Computer Science, pages 108-109, Springer, 1999.

Abstract

Abstract is missing.