Search
Add filters:
Use filters to refine the search results.
Results 1-1 of 1
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
17-Jul-2014 | Using Reflective Separation-Entailment Solvers for Reasoning Formally About C: Integrating the Verified Software Toolchain with the MirrorShard Solver | Alvarez, Mario |