Cited in
(14)- Safe functional systems through integrity types and verified assembly
- Coquet
- ModuRes
- Verilog
- Flicker
- UTPCalc
- Rocksalt
- Lava
- muFP
- FreeSpec
- operational
- Theoretical and practical approaches to the denotational semantics for MDESL based on UTP
- A formal equational theory for call-by-push-value
- Modular verification of programs with effects and effects handlers
This page was built for software: Kami
