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