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