<http://experiment.worldcat.org/entity/work/data/39672210.nt> <http://rdfs.org/ns/void#inDataset> <http://purl.oclc.org/dataset/WorldCat/Works> .
<http://experiment.worldcat.org/entity/work/data/39672210.nt> <http://schema.org/about> <http://worldcat.org/entity/work/id/39672210> .
<http://worldcat.org/entity/work/id/39672210> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://schema.org/CreativeWork> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/workExample> <http://www.worldcat.org/oclc/35402755> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2696839266> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/workExample> <http://www.worldcat.org/oclc/476087404> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/about> <http://id.worldcat.org/fast/872413> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/workExample> <http://www.worldcat.org/oclc/897759706> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/name> "Toward interactive design of correct programs : Paper presented at ifip congress 1971, ljubljana, 23.08.1971" .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/contributor> <http://worldcat.org/entity/person/id/2630686194> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/contributor> <http://id.loc.gov/authorities/names/n85821115> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/about> <http://id.worldcat.org/fast/822768> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/workExample> <http://www.worldcat.org/oclc/71469231> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/name> "Toward interactive design of correct programs"@en .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/name> "Toward interactive design of correct programs" .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/contributor> <http://viaf.org/viaf/144851220> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/creator> <http://worldcat.org/entity/person/id/2630686194> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85029525> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/name> "toward interactive design of correct programs" .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/workExample> <http://www.worldcat.org/oclc/257909817> .
<http://worldcat.org/entity/work/id/39672210> <http://schema.org/about> <http://id.loc.gov/authorities/subjects/sh85010108> .