Functional abstract interpretation
2024
1 Online-Ressource (x, 263 Seiten)
Langzeitarchivierung durch Karlsruher Institut für Technologie
Hochschulschrift
Elektronische Ressource
Englisch
Space Software Validation Using Abstract Interpretation
British Library Conference Proceedings | 2009
|Static Analysis and Verification of Aerospace Software by Abstract Interpretation
British Library Conference Proceedings | 2010
|British Library Conference Proceedings | 2000
|