Proceedings 4th Workshop on Formal Integrated Development Environment
Autor: | Jean-Christophe Filliâtre, Leo Freitas |
---|---|
Rok vydání: | 2018 |
Předmět: | |
Zdroj: | Electronic Proceedings in Theoretical Computer Science. 284 |
ISSN: | 2075-2180 |
DOI: | 10.4204/eptcs.284.0.1 |
Databáze: | OpenAIRE |
Externí odkaz: |