About:
Formal methods people
An Entity of Type :
Thing
, from Named Graph :
http://dbpedia.org
, within Data Space :
dbpedia.org
Property
Value
rdfs:
label
Formal methods people
rdfs:
subClassOf
yago
:Person100007846
is
rdf:
type
of
dbpedia
:Leslie_Lamport
dbpedia
:Edsger_W._Dijkstra
dbpedia
:Dana_Scott
dbpedia
:John_Alan_Robinson
dbpedia
:Manfred_Broy
dbpedia
:Jonathan_Bowen
dbpedia
:Carl_Hewitt
dbpedia
:Samson_Abramsky
dbpedia
:F._X._Reid
dbpedia
:Zhou_Chaochen
dbpedia
:Michael_J._C._Gordon
dbpedia
:Egon_Börger
dbpedia
:Gordon_Plotkin
dbpedia
:Andrew_Martin_(computer_scientist)
dbpedia
:Mark_Harman_(computer_scientist)
dbpedia
:He_Jifeng
dbpedia
:Nancy_Leveson
dbpedia
:Jane_Hillston
dbpedia
:Ian_Bayley
dbpedia
:John_McCarthy_(computer_scientist)
dbpedia
:Carl_Adam_Petri
dbpedia
:Michael_A._Jackson
dbpedia
:Jeannette_Wing
dbpedia
:Ralph-Johan_Back
dbpedia
:Dines_Bjørner
dbpedia
:Joe_Stoy
dbpedia
:Eric_Hehner
dbpedia
:Gerard_J._Holzmann
dbpedia
:Michael_Butler_(computer_scientist)
dbpedia
:Richard_Bornat
dbpedia
:Charles_Leonard_Hamblin
dbpedia
:Niklaus_Wirth
dbpedia
:Bertrand_Meyer
dbpedia
:Ole-Johan_Dahl
dbpedia
:Klaus_Samelson
dbpedia
:E._Allen_Emerson
dbpedia
:John_Fitzgerald_(computer_scientist)
dbpedia
:Jawed_Siddiqi
dbpedia
:Don_Sannella
dbpedia
:Jean-Raymond_Abrial
dbpedia
:David_Gries
dbpedia
:Cliff_Jones_(computer_scientist)
dbpedia
:Faron_Moller
dbpedia
:Jim_Woodcock
dbpedia
:David_Harel
dbpedia
:Jim_Davies_(computer_scientist)
dbpedia
:David_Watt_(computer_scientist)
dbpedia
:Matthew_Hennessy
dbpedia
:Tom_Maibaum
dbpedia
:Jan_Bergstra
dbpedia
:Liu_Zhiming
dbpedia
:Ursula_Martin
dbpedia
:Robert_Kowalski
dbpedia
:Evert_Willem_Beth
dbpedia
:Robin_Milner
dbpedia
:Adriaan_van_Wijngaarden
dbpedia
:David_Parnas
dbpedia
:Andrew_D._Gordon
dbpedia
:David_May_(computer_scientist)
dbpedia
:Christopher_Strachey
dbpedia
:Bill_Roscoe
dbpedia
:J_Strother_Moore
dbpedia
:Robert_S._Boyer
dbpedia
:Martin_Henson
dbpedia
:J._Anthony_Hall
dbpedia
:Michael_Fourman
dbpedia
:Lawrence_Paulson
dbpedia
:Jim_Horning
dbpedia
:John_C._Reynolds
dbpedia
:G._Mike_Reed
dbpedia
:Harlan_Mills
dbpedia
:Moshe_Y._Vardi
dbpedia
:John_Rushby
dbpedia
:Daniel_Jackson_(computer_scientist)
dbpedia
:Rod_Burstall
dbpedia
:Mark_d'Inverno
dbpedia
:Peter_Mosses
dbpedia
:John_Guttag
dbpedia
:Martyn_Thomas
dbpedia
:Michael_Hinchey
dbpedia
:Rajeev_Alur
dbpedia
:Yuri_Gurevich
dbpedia
:Chris_Tofts
dbpedia
:Nikil_Dutt
dbpedia
:Steve_Reeves_(computer_scientist)
dbpedia
:Kaisa_Sere
dbpedia
:Fred_B._Schneider
dbpedia
:Donald_A._MacKenzie
dbpedia
:Robert_Floyd
dbpedia
:C._A._R._Hoare
dbpedia
:Amir_PnuEli
dbpedia
:Joseph_GoguEn
dbpedia
:John_V._TuCker
dbpedia
:Matt_KauFmann