Event Beta

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014

Name: Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014
Location: Hyderabad

Date: 2014
Place: Hyderabad, India on the map
Series: Formal Methods in Software Engineering (FormaliSE)
Edition: 2
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e11a3sk

Proceedings

Title	DOI	Year	Record
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014		2014	dblp

Sources

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

dblp	`https://dblp.org/db/conf/icse/formalise2014`

Cite

Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. confref identifier e11a3sk. https://id.confref.org/event/e11a3sk

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.