9 results on '"Wu, Xiongnan (Newman)"'
Search Results
2. Enfragmo: A System for Modelling and Solving Search Problems with Logic
3. Grounding Formulas with Complex Terms
4. Building certified concurrent OS kernels
5. Certified concurrent abstraction layers
6. Toward compositional verification of interruptible OS kernels and device drivers
7. Certified concurrent abstraction layers.
8. Deep Specifications and Certified Abstraction Layers
9. Deep Specifications and Certified Abstraction Layers.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.