Proceedings 4th Workshop on Formal Integrated Development Environment

Autor:	Jean-Christophe Filliâtre, Leo Freitas
Rok vydání:	2018
Předmět:	Development environment Engineering business.industry Engineering ethics business
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 284
ISSN:	2075-2180
DOI:	10.4204/eptcs.284.0.1
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::0ed6001b0b782c39e07892187585f36b https://doi.org/10.4204/eptcs.284.0.1 Zobrazit plný text záznamu