Context90082
Download triples| rdf:type | qkg:Context |
| qkg:contextText | How Did Software Get So Reliable Without Proof? Lecture Notes in Computer Science vol 1051 1996 pp. 1-17 : FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings. (en) |
| Property | Object |
|---|
Triples where Context90082 is the object (without rdf:type)
| qkg:Mention183392 | qkg:hasContext |
| Subject | Property |
|---|
