Marie-Claude Gaudel;Pierre Dauchy;Carole Khoury
-;-;-
Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics