VDM 88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings

Robin E. Bloomfield, Lynn S. Marshall, Roger B. Jones, editors, VDM 88, VDM - The Way Ahead, 2nd VDM-Europe Symposium, Dublin, Ireland, September 11-16, 1988, Proceedings. Volume 328 of Lecture Notes in Computer Science, Springer, 1988.

Conference: FM1988

Abstract

Abstract is missing.

Table of Contents