Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Formal_methods_people> . }
- Adriaan_van_Wijngaarden subject Category:Formal_methods_people.
- Amir_Pnueli subject Category:Formal_methods_people.
- Andrew_D._Gordon subject Category:Formal_methods_people.
- Andrew_Martin_(computer_scientist) subject Category:Formal_methods_people.
- Bernhard_Steffen_(computer_scientist) subject Category:Formal_methods_people.
- Bertrand_Meyer subject Category:Formal_methods_people.
- Bill_Roscoe subject Category:Formal_methods_people.
- Carl_Adam_Petri subject Category:Formal_methods_people.
- Carl_Hewitt subject Category:Formal_methods_people.
- Carroll_Morgan_(computer_scientist) subject Category:Formal_methods_people.
- Charles_Leonard_Hamblin subject Category:Formal_methods_people.
- Chris_Tofts subject Category:Formal_methods_people.
- Christopher_Strachey subject Category:Formal_methods_people.
- Cliff_Jones_(computer_scientist) subject Category:Formal_methods_people.
- Dana_Scott subject Category:Formal_methods_people.
- Daniel_Jackson_(computer_scientist) subject Category:Formal_methods_people.
- David_Gries subject Category:Formal_methods_people.
- David_Harel subject Category:Formal_methods_people.
- David_May_(computer_scientist) subject Category:Formal_methods_people.
- David_Parnas subject Category:Formal_methods_people.
- David_Watt_(computer_scientist) subject Category:Formal_methods_people.
- Dines_Bjørner subject Category:Formal_methods_people.
- Don_Sannella subject Category:Formal_methods_people.
- Donald_Angus_MacKenzie subject Category:Formal_methods_people.
- E._Allen_Emerson subject Category:Formal_methods_people.
- Edmund_M._Clarke subject Category:Formal_methods_people.
- Edsger_W._Dijkstra subject Category:Formal_methods_people.
- Egon_Börger subject Category:Formal_methods_people.
- Eric_Hehner subject Category:Formal_methods_people.
- Evert_Willem_Beth subject Category:Formal_methods_people.
- F._X._Reid subject Category:Formal_methods_people.
- Faron_Moller subject Category:Formal_methods_people.
- Fred_B._Schneider subject Category:Formal_methods_people.
- G._Mike_Reed subject Category:Formal_methods_people.
- Gerard_J._Holzmann subject Category:Formal_methods_people.
- Gordon_Plotkin subject Category:Formal_methods_people.
- Gérard_Huet subject Category:Formal_methods_people.
- Harlan_Mills subject Category:Formal_methods_people.
- He_Jifeng subject Category:Formal_methods_people.
- Ian_Bayley subject Category:Formal_methods_people.
- Ib_Holm_Sørensen subject Category:Formal_methods_people.
- J._Anthony_Hall subject Category:Formal_methods_people.
- J_Strother_Moore subject Category:Formal_methods_people.
- Jan_Bergstra subject Category:Formal_methods_people.
- Jane_Hillston subject Category:Formal_methods_people.
- Jawed_Siddiqi subject Category:Formal_methods_people.
- Jean-Raymond_Abrial subject Category:Formal_methods_people.
- Jeannette_Wing subject Category:Formal_methods_people.
- Jim_Davies_(computer_scientist) subject Category:Formal_methods_people.
- Jim_Horning subject Category:Formal_methods_people.
- Jim_Woodcock subject Category:Formal_methods_people.
- Joe_Stoy subject Category:Formal_methods_people.
- John_Alan_Robinson subject Category:Formal_methods_people.
- John_C._Reynolds subject Category:Formal_methods_people.
- John_Fitzgerald_(computer_scientist) subject Category:Formal_methods_people.
- John_Guttag subject Category:Formal_methods_people.
- John_McCarthy_(computer_scientist) subject Category:Formal_methods_people.
- John_Rushby subject Category:Formal_methods_people.
- John_V._Tucker subject Category:Formal_methods_people.
- Jonathan_Bowen subject Category:Formal_methods_people.
- Joseph_Goguen subject Category:Formal_methods_people.
- Juan_Pavón subject Category:Formal_methods_people.
- Kaisa_Sere subject Category:Formal_methods_people.
- Kevin_Lano subject Category:Formal_methods_people.
- Klaus_Samelson subject Category:Formal_methods_people.
- Lawrence_Paulson subject Category:Formal_methods_people.
- Leslie_Lamport subject Category:Formal_methods_people.
- Luigi_Logrippo subject Category:Formal_methods_people.
- Manfred_Broy subject Category:Formal_methods_people.
- Mark_Harman_(computer_scientist) subject Category:Formal_methods_people.
- Mark_d'Inverno subject Category:Formal_methods_people.
- Marta_Kwiatkowska subject Category:Formal_methods_people.
- Martin_Henson subject Category:Formal_methods_people.
- Martyn_Thomas subject Category:Formal_methods_people.
- Mathai_Joseph subject Category:Formal_methods_people.
- Matt_Kaufmann subject Category:Formal_methods_people.
- Matthew_Hennessy subject Category:Formal_methods_people.
- Michael_A._Jackson subject Category:Formal_methods_people.
- Michael_Butler_(computer_scientist) subject Category:Formal_methods_people.
- Michael_Fourman subject Category:Formal_methods_people.
- Michael_Hinchey subject Category:Formal_methods_people.
- Michael_J._C._Gordon subject Category:Formal_methods_people.
- Michael_Spivey subject Category:Formal_methods_people.
- Michael_W._Shields subject Category:Formal_methods_people.
- Moshe_Y._Vardi subject Category:Formal_methods_people.
- Nancy_Leveson subject Category:Formal_methods_people.
- Nikil_Dutt subject Category:Formal_methods_people.
- Niklaus_Wirth subject Category:Formal_methods_people.
- Ole-Johan_Dahl subject Category:Formal_methods_people.
- Paritosh_Pandya subject Category:Formal_methods_people.
- Peter_Landin subject Category:Formal_methods_people.
- Peter_Mosses subject Category:Formal_methods_people.
- Peter_O'Hearn subject Category:Formal_methods_people.
- Philip_Wadler subject Category:Formal_methods_people.
- Rajeev_Alur subject Category:Formal_methods_people.
- Ralph-Johan_Back subject Category:Formal_methods_people.
- Richard_Bird_(computer_scientist) subject Category:Formal_methods_people.
- Richard_Bornat subject Category:Formal_methods_people.
- Robert_Kowalski subject Category:Formal_methods_people.
- Robert_S._Boyer subject Category:Formal_methods_people.