D. Craigen, S. Kromodimoeljo, I. Meisels, W. Pase and M. Saaltink.
"EVES: An Overview" In "Proceedings of VDM '91 (Formal Software Development Methods)", Noordwijkerhout, The Netherlands (October 1991), Lecture Notes in Computer Science 551, Springer-Verlag, Berlin, 1991. (1991) |