formal methods
(Q1049183)
mathematical program specification intended to allow correctness proofs, including algorithmically
mathematical program specification intended to allow correctness proofs, including algorithmically
Language:
Current Data About
formal methods
| (P144) |
(Q395)
(Q8078) |
| (P279) |
(Q1799072)
|
| (P373) |
Formal methods
|
| (P910) |
(Q8466124)
|
other details
| description | mathematical program specification intended to allow correctness proofs, including algorithmically |
External Links
| (P646) |
/m/015gnd
|
| (P1245) |
981295
|
| (P3417) |
Formal-Methods
|
| (P5106) |
formalmethod
|
| (P6366) |
75606506
|
| (P8408) |
FormalMethod
|
| (P10283) |
C75606506
|