Autor:	K. Rustan, M. Leino, Greg Nelson
Rok vydání:	1998
Předmět:	Static check business.industry Computer science Embedded system Modula Modular design Error detection and correction business Program verifier Race condition
Zdroj:	Lecture Notes in Computer Science ISBN: 9783540643043 CC
DOI:	10.1007/bfb0026441
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::c3887658918a3b2734e5e9666b17a4d7 https://doi.org/10.1007/bfb0026441 Zobrazit plný text záznamu