Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/FormalMethodsPeople> . }
- Adriaan_van_Wijngaarden type FormalMethodsPeople.
- Amir_Pnueli type FormalMethodsPeople.
- Andrew_D._Gordon type FormalMethodsPeople.
- Andrew_Martin_(computer_scientist) type FormalMethodsPeople.
- Bertrand_Meyer type FormalMethodsPeople.
- Bill_Roscoe type FormalMethodsPeople.
- Carl_Adam_Petri type FormalMethodsPeople.
- Carl_Hewitt type FormalMethodsPeople.
- Charles_Leonard_Hamblin type FormalMethodsPeople.
- Chris_Tofts type FormalMethodsPeople.
- Christopher_Strachey type FormalMethodsPeople.
- Cliff_Jones_(computer_scientist) type FormalMethodsPeople.
- Dana_Scott type FormalMethodsPeople.
- Daniel_Jackson_(computer_scientist) type FormalMethodsPeople.
- David_Gries type FormalMethodsPeople.
- David_Harel type FormalMethodsPeople.
- David_May_(computer_scientist) type FormalMethodsPeople.
- David_Parnas type FormalMethodsPeople.
- David_Watt_(computer_scientist) type FormalMethodsPeople.
- Dines_Bj%C3%B8rner type FormalMethodsPeople.
- Don_Sannella type FormalMethodsPeople.
- Donald_Angus_MacKenzie type FormalMethodsPeople.
- E._Allen_Emerson type FormalMethodsPeople.
- Edsger_W._Dijkstra type FormalMethodsPeople.
- Egon_B%C3%B6rger type FormalMethodsPeople.
- Eric_Hehner type FormalMethodsPeople.
- Evert_Willem_Beth type FormalMethodsPeople.
- F._X._Reid type FormalMethodsPeople.
- Faron_Moller type FormalMethodsPeople.
- Fred_B._Schneider type FormalMethodsPeople.
- G%C3%A9rard_Huet type FormalMethodsPeople.
- G._Mike_Reed type FormalMethodsPeople.
- Gerard_J._Holzmann type FormalMethodsPeople.
- Gordon_Plotkin type FormalMethodsPeople.
- Harlan_Mills type FormalMethodsPeople.
- He_Jifeng type FormalMethodsPeople.
- Ian_Bayley type FormalMethodsPeople.
- Ib_Holm_S%C3%B8rensen type FormalMethodsPeople.
- J._Anthony_Hall type FormalMethodsPeople.
- J_Strother_Moore type FormalMethodsPeople.
- Jan_Bergstra type FormalMethodsPeople.
- Jane_Hillston type FormalMethodsPeople.
- Jawed_Siddiqi type FormalMethodsPeople.
- Jean-Raymond_Abrial type FormalMethodsPeople.
- Jeannette_Wing type FormalMethodsPeople.
- Jim_Davies_(computer_scientist) type FormalMethodsPeople.
- Jim_Horning type FormalMethodsPeople.
- Jim_Woodcock type FormalMethodsPeople.
- Joe_Stoy type FormalMethodsPeople.
- John_Alan_Robinson type FormalMethodsPeople.
- John_C._Reynolds type FormalMethodsPeople.
- John_Fitzgerald_(computer_scientist) type FormalMethodsPeople.
- John_Guttag type FormalMethodsPeople.
- John_McCarthy_(computer_scientist) type FormalMethodsPeople.
- John_Rushby type FormalMethodsPeople.
- John_V._Tucker type FormalMethodsPeople.
- Jonathan_Bowen type FormalMethodsPeople.
- Joseph_Goguen type FormalMethodsPeople.
- Kaisa_Sere type FormalMethodsPeople.
- Kevin_Lano type FormalMethodsPeople.
- Klaus_Samelson type FormalMethodsPeople.
- Lawrence_Paulson type FormalMethodsPeople.
- Leslie_Lamport type FormalMethodsPeople.
- Liu_Zhiming type FormalMethodsPeople.
- Luigi_Logrippo type FormalMethodsPeople.
- Manfred_Broy type FormalMethodsPeople.
- Mark_Harman_(computer_scientist) type FormalMethodsPeople.
- Mark_d'Inverno type FormalMethodsPeople.
- Marta_Kwiatkowska type FormalMethodsPeople.
- Martin_Henson type FormalMethodsPeople.
- Martyn_Thomas type FormalMethodsPeople.
- Matt_Kaufmann type FormalMethodsPeople.
- Matthew_Hennessy type FormalMethodsPeople.
- Michael_A._Jackson type FormalMethodsPeople.
- Michael_Butler_(computer_scientist) type FormalMethodsPeople.
- Michael_Fourman type FormalMethodsPeople.
- Michael_Hinchey type FormalMethodsPeople.
- Michael_J._C._Gordon type FormalMethodsPeople.
- Michael_Spivey type FormalMethodsPeople.
- Moshe_Y._Vardi type FormalMethodsPeople.
- Nancy_Leveson type FormalMethodsPeople.
- Nikil_Dutt type FormalMethodsPeople.
- Niklaus_Wirth type FormalMethodsPeople.
- Ole-Johan_Dahl type FormalMethodsPeople.
- Peter_Landin type FormalMethodsPeople.
- Peter_Mosses type FormalMethodsPeople.
- Peter_O'Hearn type FormalMethodsPeople.
- Philip_Wadler type FormalMethodsPeople.
- Rajeev_Alur type FormalMethodsPeople.
- Ralph-Johan_Back type FormalMethodsPeople.
- Richard_Bird_(computer_scientist) type FormalMethodsPeople.
- Richard_Bornat type FormalMethodsPeople.
- Robert_Kowalski type FormalMethodsPeople.
- Robert_S._Boyer type FormalMethodsPeople.
- Robert_W._Floyd type FormalMethodsPeople.
- Robin_Milner type FormalMethodsPeople.
- Rod_Burstall type FormalMethodsPeople.
- Samson_Abramsky type FormalMethodsPeople.
- Steve_Reeves_(computer_scientist) type FormalMethodsPeople.
- Tom_Maibaum type FormalMethodsPeople.