8 results on '"Pacalet, Anne"'
Search Results
2. Implementing a Direct Method for Certificate Translation
3. Applying formal proof techniques to avionics software: a pragmatic approach
4. Behind the scenes in SANTE: a combination of static and dynamic analyses
5. Functional dependencies of C functions via weakest pre-conditions
6. Implementing a Direct Method for Certificate Translation
7. Applying formal proof techniques to avionics software: a pragmatic approach
8. Behind the scenes in SANTE: a combination of static and dynamic analyses
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.