Linked Data Explorer
Turtle
N-Triple
JSON-LD
RDF/XML
HTML
Contact Us
Home
http://worldcat.org/entity/work/id/21920047
Program correctness : can one test for it?
Open All
Close All
type
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://schema.org/CreativeWork
about
http://schema.org/about
http://id.loc.gov/authorities/subjects/sh85029525
http://id.worldcat.org/fast/872413
contributor
http://schema.org/contributor
http://worldcat.org/entity/person/id/2654222117
http://worldcat.org/entity/person/id/2639874232
creator
http://schema.org/creator
http://worldcat.org/entity/person/id/2695647606
http://worldcat.org/entity/person/id/2731374641
name
http://schema.org/name
"
Program correctness: can one test for it?
"
"
Program correctness : can one test for it?
"
@
en
workExample
http://schema.org/workExample
http://www.worldcat.org/oclc/19546424
http://www.worldcat.org/oclc/897704353
Linked Data Explorer