Design, Specification and Verification of Interactive Systems ’96 Proceedings of the Eurographics Workshop in Namur, Belgium, June 5–7, 1996 Bodart Francois Heftet / 1996 / Engelsk
Advanced Information Systems Engineering 5th International Conference, CAiSE '93, Paris, France, June 8-11, 1993. Proceedings Rolland Colette Heftet / 1993 / Engelsk
