Communication dans un congrès, GALaC, Computer Science, Logic in Computer Science, Logique en informatique

Rapid Prototyping Formal Systems in MMT: 5 Case Studies

Dennis Müller, Florian Rabe. Rapid Prototyping Formal Systems in MMT: 5 Case Studies. LFMTP 2019 Logical Frameworks and Meta-Languages: Theory and Practice 2019, Jun 2019, Vancouver, Canada. ⟨hal-02150167⟩

Published on