platform for deductive program verification
GPTKB entity
Statements (1)
| Predicate | Object |
|---|---|
| https://www.w3.org/2000/01/rdf-schema#label |
platform for deductive program verification
|