Fast Algorithms for Octagon Abstract Domain

Autor:	Singh, Gagandeep
Jazyk:	angličtina
Rok vydání:	2014
Předmět:	Data processing computer science COMPUTING TIME + RUNNING TIME (COMPUTER SYSTEMS) TESTING + DEBUGGING (SOFTWARE ENGINEERING) RECHENZEIT + LAUFZEIT (COMPUTERSYSTEME) TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING)
DOI:	10.3929/ethz-a-010154448
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::6a92005f67dc3e1ccf18bc499096c150 Zobrazit plný text záznamu