Event Beta

Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018

Name: Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018
Start: 2018-06-02
Location: Gothenburg

FormaliSE@ICSE 2018

Date: 2018-06-02
Place: Gothenburg, Sweden on the map
Series: Formal Methods in Software Engineering (FormaliSE)
Edition: 6
Academic field: Natural sciences: Computer and information sciences
Disciplines: formal methods
Identifier: https://id.confref.org/event/e10fw7p

Proceedings

Title	DOI	Year	Record
Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018	10.1145/3193992	2018	dblp

Sources

The records of the sources that this identifier brings together (cr:sameAs).

Wikidata	`http://www.wikidata.org/entity/Q106333438`
dblp	`https://dblp.org/db/conf/icse/formalise2018`

Cite

Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. confref identifier e10fw7p. https://id.confref.org/event/e10fw7p

Data: Turtle · JSON-LD · N-Triples · RDF/XML

APIs · SPARQL · About the identifiers

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.