@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
@prefix ns2:	<http://en.wikipedia.org/wiki/> .
dbpedia:International_Conference_on_Software_Engineering_and_Formal_Methods	foaf:page	ns2:International_Conference_on_Software_Engineering_and_Formal_Methods .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:International_Conference_on_Software_Engineering_and_Formal_Methods	dbpprop:reference	<http://sefm.iist.unu.edu/> .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:International_Conference_on_Software_Engineering_and_Formal_Methods	rdfs:label	"International Conference on Software Engineering and Formal Methods"@en ;
	dbpprop:abstract	"IEEE International Conference on Software Engineering and Formal Methods (SEFM) is an academic conference in the field of software engineering. Until 2002, SEFM was a workshop; it then became a full international conference. SEFM aims to bring together practitioners and researchers from academia, industry, and government, to advance the state of the art in formal methods, to help in their large-scale application in the software industry, and to encourage their integration with other practical software engineering methods. The conferences are often held in the Asia and Pacific regions and specifically in developing countries. An important aim of the SEFM conferences is to encourage research cooperation between developing countries and industrialized countries."@en ;
	rdfs:comment	"IEEE International Conference on Software Engineering and Formal Methods (SEFM) is an academic conference in the field of software engineering. Until 2002, SEFM was a workshop; it then became a full international conference."@en .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns6:	<http://dbpedia.org/resource/Category:> .
dbpedia:International_Conference_on_Software_Engineering_and_Formal_Methods	skos:subject	ns6:Formal_methods ,
		ns6:Software_engineering_conferences .
dbpedia:SEFM	dbpprop:redirect	dbpedia:International_Conference_on_Software_Engineering_and_Formal_Methods .