MODELS AND METAMODELS FOR
SOFTWARE VERIFICATION AND VALIDATION
Bibliography
Computational Frameworks
Logical Frameworks
Proof-Theoretical Foundations of Functional Programming
