About: Formal methods people

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