Embedding the refinement calculus in Coq
In: Science of computer programming, Jg. 164 (2018), S. 37-48
Online
serialPeriodical
Zugriff:
Titel: |
Embedding the refinement calculus in Coq
|
---|---|
Autor/in / Beteiligte Person: | Alpuim, João ; Swierstra, Wouter |
Link: | |
Zeitschrift: | Science of computer programming, Jg. 164 (2018), S. 37-48 |
Veröffentlichung: | 2018 |
Medientyp: | serialPeriodical |
ISSN: | 0167-6423 (print) |
Sonstiges: |
|