Soundness in verification of algebraic specifications with OBJ (Q2469155)
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 5231971
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Soundness in verification of algebraic specifications with OBJ |
scientific article; zbMATH DE number 5231971 |
Statements
Soundness in verification of algebraic specifications with OBJ (English)
0 references
4 February 2008
0 references
soundness
0 references
OBJ
0 references
algebraic specification
0 references
verification
0 references
behavioural specification
0 references
0 references
0.7727405428886414
0 references
0.7422420382499695
0 references
0.7396419644355774
0 references
0.7343546748161316
0 references
