On the need to specify and verify standard functions (Q2979883)
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 6708361
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | On the need to specify and verify standard functions |
scientific article; zbMATH DE number 6708361 |
Statements
26 April 2017
0 references
mathematical function
0 references
standard library
0 references
formal specification
0 references
formal program verification
0 references
0.7456491589546204
0 references
0.7257028818130493
0 references
0.725591778755188
0 references
0.7222564220428467
0 references
