Event Beta

Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003

Name: Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003
Location: Campina Grande

Date: 2003
Place: Campina Grande, Brazil on the map
Series: Brazilian Symposium on Formal Methods
Edition: 6
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e120qcd

Proceedings

Title	DOI	Year	Record
Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003 Electronic Notes in Theoretical Computer Science 95		2004	dblp

Sources

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

dblp	`https://dblp.org/db/journals/entcs/entcs95`

Cite

Proceedings of the 6th Brazilian Workshop on Formal Methods, WMF 2003, Campina Grande, Brazil, October 12-14, 2003. confref identifier e120qcd. https://id.confref.org/event/e120qcd

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.