About: International Conference on Software Engineering and Formal Methods

The IEEE International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering.

Property	Value
dbpedia-owl:abstract	The IEEE International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering.
dbpedia-owl:thumbnail	http://upload.wikimedia.org/wikipedia/commons/thumb/7/75/IEEE_Computer_Society_logo.jpg/200px-IEEE_Computer_Society_logo.jpg
dbpedia-owl:wikiPageExternalLink	http://sefm.iist.unu.edu/
dcterms:subject	category:Formal_methods category:Institute_of_Electrical_and_Electronics_Engineers category:Recurring_events_established_in_2003 category:Software_engineering_conferences
rdfs:comment	The IEEE International Conference on Software Engineering and Formal Methods (SEFM) is an international academic conference in the field of software engineering.
rdfs:label	International Conference on Software Engineering and Formal Methods
owl:sameAs	fbase:International Conference on Software Engineering and Formal Methods
foaf:depiction	http://upload.wikimedia.org/wikipedia/commons/7/75/IEEE_Computer_Society_logo.jpg
foaf:page	http://en.wikipedia.org/wiki/International_Conference_on_Software_Engineering_and_Formal_Methods
is dbpedia-owl:wikiPageRedirects of	dbpedia:SEFM
is owl:sameAs of	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/International_Conference_on_Software_Engineering_and_Formal_Methods
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/International_Conference_on_Software_Engineering_and_Formal_Methods