Program composition via unification (Q1331925)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Program composition via unification |
scientific article; zbMATH DE number 626278
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Program composition via unification |
scientific article; zbMATH DE number 626278 |
Statements
Program composition via unification (English)
0 references
29 August 1994
0 references
compositional proof systems
0 references
verification of programs
0 references
jigsaw operator
0 references
0 references
0.9012398
0 references
0.8804364
0 references
0.8699231
0 references
0.86770654
0 references
