An automatic verification condition generator for the language C

Autor:	Arbanas, Jennifer Marie
Rok vydání:	1987
DOI:	10.25335/m5st7f790
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7a66125f2387b515603a012e4682b633 Zobrazit plný text záznamu