About: Formal methods people

Property	Value
rdf:type	skos:Concept
rdfs:label	Formal methods people
skos:broader	dbpedia:Category:Software_engineers dbpedia:Category:Computer_scientists_by_field_of_research dbpedia:Category:Formal_methods dbpedia:Category:Software_engineering_researchers dbpedia:Category:People_in_information_technology
skos:prefLabel	Formal methods people
is skos:broader of	dbpedia:Category:Members_of_Oxford_University_Computing_Laboratory
is skos:subject of	dbpedia:Edsger_W._Dijkstra dbpedia:Leslie_Lamport dbpedia:Carl_Hewitt dbpedia:Dana_Scott dbpedia:David_May_(computer_scientist) dbpedia:John_Alan_Robinson dbpedia:Jonathan_Bowen dbpedia:Manfred_Broy dbpedia:Chris_Tofts dbpedia:Daniel_Jackson_(computer_scientist) dbpedia:Egon_Börger dbpedia:F._X._Reid dbpedia:Gordon_Plotkin dbpedia:He_Jifeng dbpedia:Ian_Bayley dbpedia:Jane_Hillston dbpedia:Michael_J._C._Gordon dbpedia:Mike_Reed dbpedia:Nancy_Leveson dbpedia:Charles_Leonard_Hamblin dbpedia:Bertrand_Meyer dbpedia:C._A._R._Hoare dbpedia:E._Allen_Emerson dbpedia:Niklaus_Wirth dbpedia:Jean-Raymond_Abrial dbpedia:Ole-Johan_Dahl dbpedia:Jawed_Siddiqi dbpedia:Donald_A._MacKenzie dbpedia:Tom_Maibaum dbpedia:David_Gries dbpedia:David_Harel dbpedia:Don_Sannella dbpedia:Faron_Moller dbpedia:Jan_Bergstra dbpedia:Jim_Woodcock dbpedia:Klaus_Samelson dbpedia:Matthew_Hennessy dbpedia:Liu_Zhiming dbpedia:Mark_Harman_(computer_scientist) dbpedia:Matt_Kaufmann dbpedia:Adriaan_van_Wijngaarden dbpedia:John_McCarthy_(computer_scientist) dbpedia:David_Parnas dbpedia:Evert_Willem_Beth dbpedia:Robert_Floyd dbpedia:Robin_Milner dbpedia:Andrew_D._Gordon dbpedia:Robert_S._Boyer dbpedia:Bill_Roscoe dbpedia:Christopher_Strachey dbpedia:Fred_B._Schneider dbpedia:Michael_Fourman dbpedia:Harlan_Mills dbpedia:J._Anthony_Hall dbpedia:J_Strother_Moore dbpedia:Jim_Horning dbpedia:John_C._Reynolds dbpedia:John_Guttag dbpedia:John_Rushby dbpedia:John_V._Tucker dbpedia:Joseph_Goguen dbpedia:Lawrence_Paulson dbpedia:Michael_Butler_(computer_scientist) dbpedia:Martyn_Thomas dbpedia:Michael_Hinchey dbpedia:Moshe_Y._Vardi dbpedia:Peter_Mosses dbpedia:Carl_Adam_Petri dbpedia:Amir_Pnueli dbpedia:Ralph-Johan_Back dbpedia:Jeannette_Wing dbpedia:Michael_A._Jackson dbpedia:Cliff_Jones_(computer_scientist) dbpedia:David_Watt_(computer_scientist) dbpedia:Dines_Bjørner dbpedia:Eric_Hehner dbpedia:Gerard_J._Holzmann dbpedia:Joe_Stoy dbpedia:John_Fitzgerald_(computer_scientist) dbpedia:Samson_Abramsky dbpedia:Zhou_Chaochen dbpedia:Ursula_Martin dbpedia:Richard_Bornat dbpedia:Rajeev_Alur dbpedia:Rod_Burstall dbpedia:Yuri_Gurevich