Formal methods of development advances and retreats

Autor:	D. C. Ince
Rok vydání:	1993
Předmět:	Engineering Development (topology) business.industry Engineering ethics business Formal methods
Zdroj:	Irish Mathematical Society Bulletin. :18-40
ISSN:	0791-5578
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::cf92f0e7d50f2435dfb4914f29b73219 https://doi.org/10.33232/bims.0030.18.40 Zobrazit plný text záznamu