@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns1:	<http://dbpedia.org/resource/Category:> .
<http://dbpedia.org/resource/Edsger_W._Dijkstra>	skos:subject	ns1:Formal_methods_people .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Leslie_Lamport	skos:subject	ns1:Formal_methods_people .
dbpedia:Carl_Hewitt	skos:subject	ns1:Formal_methods_people .
dbpedia:Dana_Scott	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/David_May_%28computer_scientist%29>	skos:subject	ns1:Formal_methods_people .
dbpedia:John_Alan_Robinson	skos:subject	ns1:Formal_methods_people .
dbpedia:Jonathan_Bowen	skos:subject	ns1:Formal_methods_people .
dbpedia:Manfred_Broy	skos:subject	ns1:Formal_methods_people .
dbpedia:Chris_Tofts	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Daniel_Jackson_%28computer_scientist%29>	skos:subject	ns1:Formal_methods_people ,
		ns1:Formal_methods_people ,
		ns1:Formal_methods_people .
dbpedia:Gordon_Plotkin	skos:subject	ns1:Formal_methods_people .
dbpedia:He_Jifeng	skos:subject	ns1:Formal_methods_people .
dbpedia:Ian_Bayley	skos:subject	ns1:Formal_methods_people .
dbpedia:Jane_Hillston	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Michael_J._C._Gordon>	skos:subject	ns1:Formal_methods_people .
dbpedia:Mike_Reed	skos:subject	ns1:Formal_methods_people .
dbpedia:Nancy_Leveson	skos:subject	ns1:Formal_methods_people .
dbpedia:Charles_Leonard_Hamblin	skos:subject	ns1:Formal_methods_people .
dbpedia:Bertrand_Meyer	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/C._A._R._Hoare>	skos:subject	ns1:Formal_methods_people ,
		ns1:Formal_methods_people .
dbpedia:Niklaus_Wirth	skos:subject	ns1:Formal_methods_people .
dbpedia:Jean-Raymond_Abrial	skos:subject	ns1:Formal_methods_people .
dbpedia:Ole-Johan_Dahl	skos:subject	ns1:Formal_methods_people .
ns1:Members_of_Oxford_University_Computing_Laboratory	skos:broader	ns1:Formal_methods_people .
dbpedia:Jawed_Siddiqi	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Donald_A._MacKenzie>	skos:subject	ns1:Formal_methods_people .
dbpedia:Tom_Maibaum	skos:subject	ns1:Formal_methods_people .
dbpedia:David_Gries	skos:subject	ns1:Formal_methods_people .
dbpedia:David_Harel	skos:subject	ns1:Formal_methods_people .
dbpedia:Don_Sannella	skos:subject	ns1:Formal_methods_people .
dbpedia:Faron_Moller	skos:subject	ns1:Formal_methods_people .
dbpedia:Jan_Bergstra	skos:subject	ns1:Formal_methods_people .
dbpedia:Jim_Woodcock	skos:subject	ns1:Formal_methods_people .
dbpedia:Klaus_Samelson	skos:subject	ns1:Formal_methods_people .
dbpedia:Matthew_Hennessy	skos:subject	ns1:Formal_methods_people .
dbpedia:Liu_Zhiming	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Mark_Harman_%28computer_scientist%29>	skos:subject	ns1:Formal_methods_people .
dbpedia:Matt_Kaufmann	skos:subject	ns1:Formal_methods_people .
dbpedia:Adriaan_van_Wijngaarden	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/John_McCarthy_%28computer_scientist%29>	skos:subject	ns1:Formal_methods_people .
dbpedia:David_Parnas	skos:subject	ns1:Formal_methods_people .
dbpedia:Evert_Willem_Beth	skos:subject	ns1:Formal_methods_people .
dbpedia:Robert_Floyd	skos:subject	ns1:Formal_methods_people .
dbpedia:Robin_Milner	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Andrew_D._Gordon>	skos:subject	ns1:Formal_methods_people ,
		ns1:Formal_methods_people .
dbpedia:Bill_Roscoe	skos:subject	ns1:Formal_methods_people .
dbpedia:Christopher_Strachey	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Fred_B._Schneider>	skos:subject	ns1:Formal_methods_people .
dbpedia:Michael_Fourman	skos:subject	ns1:Formal_methods_people .
dbpedia:Harlan_Mills	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/J._Anthony_Hall>	skos:subject	ns1:Formal_methods_people .
dbpedia:J_Strother_Moore	skos:subject	ns1:Formal_methods_people .
dbpedia:Jim_Horning	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/John_C._Reynolds>	skos:subject	ns1:Formal_methods_people .
dbpedia:John_Guttag	skos:subject	ns1:Formal_methods_people .
dbpedia:John_Rushby	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/John_V._Tucker>	skos:subject	ns1:Formal_methods_people .
dbpedia:Joseph_Goguen	skos:subject	ns1:Formal_methods_people .
dbpedia:Lawrence_Paulson	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Michael_Butler_%28computer_scientist%29>	skos:subject	ns1:Formal_methods_people .
dbpedia:Martyn_Thomas	skos:subject	ns1:Formal_methods_people .
dbpedia:Michael_Hinchey	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Moshe_Y._Vardi>	skos:subject	ns1:Formal_methods_people .
dbpedia:Peter_Mosses	skos:subject	ns1:Formal_methods_people .
dbpedia:Carl_Adam_Petri	skos:subject	ns1:Formal_methods_people .
dbpedia:Amir_Pnueli	skos:subject	ns1:Formal_methods_people .
dbpedia:Ralph-Johan_Back	skos:subject	ns1:Formal_methods_people .
dbpedia:Jeannette_Wing	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Michael_A._Jackson>	skos:subject	ns1:Formal_methods_people .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
ns1:Formal_methods_people	rdf:type	skos:Concept .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
ns1:Formal_methods_people	rdfs:label	"Formal methods people"@en ;
	skos:prefLabel	"Formal methods people"@en ;
	skos:broader	ns1:Software_engineers ,
		ns1:Formal_methods ,
		ns1:People_in_information_technology ,
		ns1:Software_engineering_researchers ,
		ns1:Computer_scientists_by_field_of_research .
<http://dbpedia.org/resource/Cliff_Jones_%28computer_scientist%29>	skos:subject	ns1:Formal_methods_people ,
		ns1:Formal_methods_people ,
		ns1:Formal_methods_people .
dbpedia:Eric_Hehner	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/Gerard_J._Holzmann>	skos:subject	ns1:Formal_methods_people .
dbpedia:Joe_Stoy	skos:subject	ns1:Formal_methods_people .
<http://dbpedia.org/resource/John_Fitzgerald_%28computer_scientist%29>	skos:subject	ns1:Formal_methods_people .
dbpedia:Samson_Abramsky	skos:subject	ns1:Formal_methods_people .
dbpedia:Zhou_Chaochen	skos:subject	ns1:Formal_methods_people .
dbpedia:Ursula_Martin	skos:subject	ns1:Formal_methods_people .
dbpedia:Richard_Bornat	skos:subject	ns1:Formal_methods_people .
dbpedia:Rajeev_Alur	skos:subject	ns1:Formal_methods_people .
dbpedia:Rod_Burstall	skos:subject	ns1:Formal_methods_people .
dbpedia:Yuri_Gurevich	skos:subject	ns1:Formal_methods_people .