From proposition to program. Embedding the refinement calculus in Coq (Q2798255)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6562502
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | From proposition to program. Embedding the refinement calculus in Coq |
scientific article; zbMATH DE number 6562502 |
Statements
From Proposition to Program (English)
0 references
4 April 2016
0 references
0.8061843514442444
0 references
0.7597821354866028
0 references
0.7567625045776367
0 references
