Functional Abstract Interpretation
2025
1 Online-Ressource
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
|