swMATH9919MaRDI QIDQ21898FDOQ21898
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-25379-9_24
Cited In (12)
- Coquet: a Coq library for verifying hardware
- Functional verification of high performance adders in \textsc{Coq}
- \(\Pi\)-Ware: hardware description and verification in Agda
- A formal equational theory for call-by-push-value
- CoqMTU
- Rocksalt
- Kami
- Lava
- muFP
- operational
- Modular verification of programs with effects and effects handlers
- Certified programs and proofs. First international conference, CPP 2011, Kenting, Taiwan, December 7--9, 2011. Proceedings
This page was built for software: Coquet
