Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Formal methods people
An Entity of Type:
Concept
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
dbo:
wikiPageID
2704353
(xsd:integer)
dbo:
wikiPageRevisionID
952540481
(xsd:integer)
dbp:
wikiPageUsesTemplate
dbt
:Commons_cat
dbt
:CatAutoTOC
rdf:
type
skos
:Concept
rdfs:
label
Formal methods people
(en)
skos:
broader
dbc
:Software_engineering_researchers
dbc
:Theoretical_computer_scientists
dbc
:Formal_methods
skos:
prefLabel
Formal methods people
(en)
prov:
wasDerivedFrom
wikipedia-en
:Category:Formal_methods_people?oldid=952540481&ns=14
is
dbo:
wikiPageWikiLink
of
dbr
:Carl_Adam_Petri
dbr
:Carroll_Morgan_(computer_scientist)
dbr
:Cas_Cremers
dbr
:Robert_Shostak
dbr
:Robert_W._Floyd
dbr
:Robin_Milner
dbr
:Rod_Burstall
dbr
:Samson_Abramsky
dbr
:Bertrand_Meyer
dbr
:Bill_Roscoe
dbr
:David_Gries
dbr
:David_Harel
dbr
:David_L._Dill
dbr
:David_May_(computer_scientist)
dbr
:David_Parnas
dbr
:David_Watt_(computer_scientist)
dbr
:Andrew_D._Gordon
dbr
:Hussein_Zedan
dbr
:Jonathan_Bowen
dbr
:Joseph_Goguen
dbr
:Juan_Pavón
dbr
:Peter_Landin
dbr
:Peter_Lucas_(computer_scientist)
dbr
:Peter_Mosses
dbr
:Peter_O'Hearn
dbr
:Richard_Bird_(computer_scientist)
dbr
:Robert_France
dbr
:Robert_Kowalski
dbr
:Ursula_Martin
dbr
:Don_Sannella
dbr
:Insup_Lee
dbr
:Jan_Bergstra
dbr
:Rajeev_Alur
dbr
:Ernst-Rüdiger_Olderog
dbr
:Christopher_Strachey
dbr
:Cliff_Jones_(computer_scientist)
dbr
:Egon_Börger
dbr
:Fred_B._Schneider
dbr
:Gerard_J._Holzmann
dbr
:Gordon_Plotkin
dbr
:Moshe_Vardi
dbr
:Nancy_Leveson
dbr
:Martyn_Thomas
dbr
:Andrew_Martin_(computer_scientist)
dbr
:Bernhard_Steffen_(computer_scientist)
dbr
:Leslie_Lamport
dbr
:Manfred_Broy
dbr
:Steve_Reeves_(computer_scientist)
dbr
:Steve_Schneider_(computer_scientist)
dbr
:Zhiming_Liu_(computer_scientist)
dbr
:Zhou_Chaochen
dbr
:Harlan_Mills
dbr
:Ib_Sørensen
dbr
:Krzysztof_R._Apt
dbr
:Ralph-Johan_Back
dbr
:Paritosh_Pandya
dbr
:Michael_Spivey
dbr
:Mathai_Joseph
dbr
:Matt_Kaufmann
dbr
:Matthew_Hennessy
dbr
:Michael_A._Jackson_(computer_scientist)
dbr
:Michael_Goldsmith_(computer_scientist)
dbr
:Michael_W._Shields
dbr
:Tom_Maibaum
dbr
:Tony_Hoare
dbr
:G._Mike_Reed
dbr
:He_Jifeng
dbr
:Joe_Stoy
dbr
:John_Fitzgerald_(computer_scientist)
dbr
:Joost-Pieter_Katoen
dbr
:Adriaan_van_Wijngaarden
dbr
:Amir_Pnueli
dbr
:Anders_P._Ravn
dbr
:Dana_Scott
dbr
:E._Allen_Emerson
dbr
:Edmund_M._Clarke
dbr
:Edsger_W._Dijkstra
dbr
:Eric_Hehner
dbr
:Faron_Moller
dbr
:Niklaus_Wirth
dbr
:Carl_Hewitt
dbr
:Daniel_Jackson_(computer_scientist)
dbr
:Formal_methods
dbr
:John_Rushby
dbr
:John_V._Tucker
dbr
:Tim_Denvir
dbr
:Nikil_Dutt
dbr
:Luigi_Logrippo
dbr
:Greg_Nelson_(computer_scientist)
dbr
:Grigore_Roșu
dbr
:Gérard_Huet
dbr
:Helmut_Veith
dbr
:J._Anthony_Hall
dbr
:Jane_Hillston
dbr
:Jeannette_Wing
dbr
:Jim_Davies_(computer_scientist)
dbr
:Charles_Leonard_Hamblin
dbr
:Jim_Horning
dbr
:Jim_Woodcock
dbr
:John_Alan_Robinson
dbr
:John_C._Reynolds
dbr
:John_Guttag
dbr
:John_McCarthy_(computer_scientist)
dbr
:Kaisa_Sere
dbr
:Ken_Robinson_(computer_scientist)
dbr
:Kevin_Lano
dbr
:Lawrence_Paulson
dbr
:Eike_Best
dbr
:J_Strother_Moore
dbr
:Javier_Esparza
dbr
:Jawed_Siddiqi
dbr
:Jean-Raymond_Abrial
dbr
:Dines_Bjørner
dbr
:Donald_Angus_MacKenzie
dbr
:Augusto_Sampaio
dbr
:Mark_d'Inverno
dbr
:Marta_Kwiatkowska
dbr
:Martin_Henson
dbr
:Philip_Wadler
dbr
:Klaus_Samelson
dbr
:Michael_Butler_(computer_scientist)
dbr
:Michael_Fourman
dbr
:Michael_Genesereth
dbr
:Michael_Hinchey
dbr
:Michael_J._C._Gordon
dbr
:Ole-Johan_Dahl
dbr
:Radhia_Cousot
dbr
:Sergiy_Vilkomir
dbr
:Chris_Tofts
dbr
:Robert_S._Boyer
dbr
:Rudolf_Berghammer
dbr
:Mark_Harman_(computer_scientist)
dbr
:F._X._Reid
dbr
:Gunther_Schmidt
dbr
:Ian_Bayley
dbr
:Richard_Bornat
dbr
:Evert_Willem_Beth
dbr
:Yuri_Gurevich
dbr
:Supratik_Chakraborty
is
dcterms:
subject
of
dbr
:Carl_Adam_Petri
dbr
:Carroll_Morgan_(computer_scientist)
dbr
:Cas_Cremers
dbr
:Robert_Shostak
dbr
:Robert_W._Floyd
dbr
:Robin_Milner
dbr
:Rod_Burstall
dbr
:Samson_Abramsky
dbr
:Bertrand_Meyer
dbr
:Bill_Roscoe
dbr
:David_Gries
dbr
:David_Harel
dbr
:David_L._Dill
dbr
:David_May_(computer_scientist)
dbr
:David_Parnas
dbr
:David_Watt_(computer_scientist)
dbr
:Andrew_D._Gordon
dbr
:Hussein_Zedan
dbr
:Jonathan_Bowen
dbr
:Joseph_Goguen
dbr
:Juan_Pavón
dbr
:Peter_Landin
dbr
:Peter_Lucas_(computer_scientist)
dbr
:Peter_Mosses
dbr
:Peter_O'Hearn
dbr
:Richard_Bird_(computer_scientist)
dbr
:Robert_France
dbr
:Robert_Kowalski
dbr
:Ursula_Martin
dbr
:Don_Sannella
dbr
:Insup_Lee
dbr
:Jan_Bergstra
dbr
:Rajeev_Alur
dbr
:Ernst-Rüdiger_Olderog
dbr
:Christopher_Strachey
dbr
:Cliff_Jones_(computer_scientist)
dbr
:Egon_Börger
dbr
:Fred_B._Schneider
dbr
:Gerard_J._Holzmann
dbr
:Gordon_Plotkin
dbr
:Moshe_Vardi
dbr
:Nancy_Leveson
dbr
:Martyn_Thomas
dbr
:Andrew_Martin_(computer_scientist)
dbr
:Bernhard_Steffen_(computer_scientist)
dbr
:Leslie_Lamport
dbr
:Manfred_Broy
dbr
:Steve_Reeves_(computer_scientist)
dbr
:Steve_Schneider_(computer_scientist)
dbr
:Zhiming_Liu_(computer_scientist)
dbr
:Zhou_Chaochen
dbr
:Harlan_Mills
dbr
:Ib_Sørensen
dbr
:Krzysztof_R._Apt
dbr
:Ralph-Johan_Back
dbr
:Paritosh_Pandya
dbr
:Michael_Spivey
dbr
:Mathai_Joseph
dbr
:Matt_Kaufmann
dbr
:Matthew_Hennessy
dbr
:Michael_A._Jackson_(computer_scientist)
dbr
:Michael_Goldsmith_(computer_scientist)
dbr
:Michael_W._Shields
dbr
:Tom_Maibaum
dbr
:Tony_Hoare
dbr
:G._Mike_Reed
dbr
:He_Jifeng
dbr
:Joe_Stoy
dbr
:John_Fitzgerald_(computer_scientist)
dbr
:Joost-Pieter_Katoen
dbr
:Adriaan_van_Wijngaarden
dbr
:Amir_Pnueli
dbr
:Anders_P._Ravn
dbr
:Dana_Scott
dbr
:E._Allen_Emerson
dbr
:Edmund_M._Clarke
dbr
:Edsger_W._Dijkstra
dbr
:Eric_Hehner
dbr
:Faron_Moller
dbr
:Niklaus_Wirth
dbr
:Carl_Hewitt
dbr
:Daniel_Jackson_(computer_scientist)
dbr
:John_Rushby
dbr
:John_V._Tucker
dbr
:Tim_Denvir
dbr
:Nikil_Dutt
dbr
:Luigi_Logrippo
dbr
:Greg_Nelson_(computer_scientist)
dbr
:Grigore_Roșu
dbr
:Gérard_Huet
dbr
:Helmut_Veith
dbr
:J._Anthony_Hall
dbr
:Jane_Hillston
dbr
:Jeannette_Wing
dbr
:Jim_Davies_(computer_scientist)
dbr
:Charles_Leonard_Hamblin
dbr
:Jim_Horning
dbr
:Jim_Woodcock
dbr
:John_Alan_Robinson
dbr
:John_C._Reynolds
dbr
:John_Guttag
dbr
:John_McCarthy_(computer_scientist)
dbr
:Kaisa_Sere
dbr
:Ken_Robinson_(computer_scientist)
dbr
:Kevin_Lano
dbr
:Lawrence_Paulson
dbr
:Eike_Best
dbr
:J_Strother_Moore
dbr
:Javier_Esparza
dbr
:Jawed_Siddiqi
dbr
:Jean-Raymond_Abrial
dbr
:Dines_Bjørner
dbr
:Donald_Angus_MacKenzie
dbr
:Augusto_Sampaio
dbr
:Mark_d'Inverno
dbr
:Marta_Kwiatkowska
dbr
:Martin_Henson
dbr
:Philip_Wadler
dbr
:Klaus_Samelson
dbr
:Michael_Butler_(computer_scientist)
dbr
:Michael_Fourman
dbr
:Michael_Genesereth
dbr
:Michael_Hinchey
dbr
:Michael_J._C._Gordon
dbr
:Ole-Johan_Dahl
dbr
:Radhia_Cousot
dbr
:Sergiy_Vilkomir
dbr
:Chris_Tofts
dbr
:Robert_S._Boyer
dbr
:Rudolf_Berghammer
dbr
:Mark_Harman_(computer_scientist)
dbr
:F._X._Reid
dbr
:Gunther_Schmidt
dbr
:Ian_Bayley
dbr
:Richard_Bornat
dbr
:Evert_Willem_Beth
dbr
:Yuri_Gurevich
dbr
:Supratik_Chakraborty
is
skos:
broader
of
dbc
:Members_of_the_Department_of_Computer_Science,_University_of_Oxford
dbc
:Logic_programming_researchers
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License