Certification of a Type Inference Tool for ML: Damas–Milner within Coq
Journal of Automated Reasoning
Studies of a Theory of Specifications with Built-in Program Extraction
Journal of Automated Reasoning
Formal driven prototyping approach for multiagent systems
International Journal of Agent-Oriented Software Engineering
Development Life-cycle of Critical Software Under FoCaL
Electronic Notes in Theoretical Computer Science (ENTCS)
Rewriting Computation and Proof
Hi-index | 0.00 |