Formal System Development with KIV
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Proof Transformations for Evolutionary Formal Software Development
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Generalization in Type Theory Based Proof Assistants
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
VSE: Controlling the Complexity in Formal Software Developments
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
KIV 3.0 for Provably Correct Systems
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Abstracting refinements for transformation
Nordic Journal of Computing
Problem-solving methods: understanding, description, development, and reuse
Problem-solving methods: understanding, description, development, and reuse
Modular specification and verification of object-oriented programs
Modular specification and verification of object-oriented programs
Verification of object-oriented software: The KeY approach
Verification of object-oriented software: The KeY approach
Reuse in software verification by abstract method calls
CADE'13 Proceedings of the 24th international conference on Automated Deduction
Hi-index | 0.00 |