Event Beta

Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005

Name: Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005
Location: Porto Alegre

Date: 2005
Place: Porto Alegre, Brazil on the map
Series: Brazilian Symposium on Formal Methods
Academic field: Natural sciences: Computer and information sciences
Identifier: https://id.confref.org/event/e120hye

Proceedings

Title	DOI	Year	Record
Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005 Electronic Notes in Theoretical Computer Science 184		2007	dblp

Sources

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

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

Cite

Proceedings of the Second Brazilian Symposium on Formal Methods, SBMF 2005, Porto Alegre, RS, Brazil, November 30, 2005. confref identifier e120hye. https://id.confref.org/event/e120hye

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.