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.
| Property | Value |
|---|
| 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.
|
| dbpprop:reference
| |
| 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.
|
| rdfs:label
|
- International Conference on Software Engineering and Formal Methods
|
| skos:subject
| |
| foaf:page
| |
| is dbpprop:redirect
of | |
![[RDF Data]](/statics/sw-cube.png)
