Algebraic Imperative Specifications
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
State-Based Extensions of CASL
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
A theory of mixin modules: basic and derived operators
Mathematical Structures in Computer Science
Hi-index | 0.00 |