Proceedings of the 6th Workshop on Formal Integrated Development Environment

Autor:	Víctor Pérez, Pedro López-García, Miguel A. Sanchez-Ordaz, José F. Morales, Manuel V. Hermenegildo, Isabel Garcia-Contreras
Rok vydání:	2021
Předmět:	Development environment On the fly Computer science business.industry Assertion Software engineering business
Zdroj:	Electronic Proceedings in Theoretical Computer Science. 338:105-112
ISSN:	2075-2180
DOI:	10.4204/eptcs.338.13
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::791ede7d6096774bcf982f7508c99e96 https://doi.org/10.4204/eptcs.338.13 Zobrazit plný text záznamu