The following pages link to (Q5875431):
Displaying 5 items.
- A formally verified, optimized monitor for metric first-order dynamic logic (Q2096466) (← links)
- Cogent: uniqueness types and certifying compilation (Q5019022) (← links)
- Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs (Q5048997) (← links)
- (Q5875428) (← links)
- (Q5875431) (← links)
