Functional abstract interpretation
2024
1 Online-Ressource (x, 263 Seiten)
Digital preservation by Karlsruher Institut für Technologie
Theses
Electronic Resource
English
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
|