Event Beta

Working Conference on Verified Software: Theories, Tools, and Experiments

Name: Working Conference on Verified Software: Theories, Tools, and Experiments
Start: 2008-10-06
End: 2008-10-09
Location: Toronto

VSTTE 2008VSTTE

Date: 2008-10-06/09
Place: Toronto, Canada on the map
Series: International Conference on Verified Software: Tools, Theories, Experiments
Edition: 2
Academic field: Natural sciences: Computer and information sciences
Disciplines: computer science
Identifier: https://id.confref.org/event/e108njm

Proceedings

Title	DOI	Year	Record
Verified Software: Theories, Tools, Experiments LNCS 5295	10.1007/978-3-540-87873-5	2008	Springer
Verified Software: Theories, Tools, Experiments, Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings Lecture Notes in Computer Science 5295	10.1007/978-3-540-87873-5	2008	dblp

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

Springer LOD (2018)	`http://lod.springer.com/data/conference/vstte2008`
confref portal (2020)	`https://id.confref.org/data/confref-portal/event/vstte2008` · page
Wikidata	`http://www.wikidata.org/entity/Q106246515`
dblp	`https://dblp.org/db/conf/vstte/vstte2008`
GND	`https://d-nb.info/gnd/10358985-5`

Working Conference on Verified Software: Theories, Tools, and Experiments. confref identifier e108njm. https://id.confref.org/event/e108njm

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