Special issue: Workshop on tools at VSTTE 2008. Selected papers based on the presentations at the conference on verified software: theories, tools and experiments, Toronto, Canada, October 6--9, 2008

zbMATH Open1243.68021MaRDI QIDQ638912

Author name not available (Why is that?)

Publication date: 16 September 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Title not available (Why is that?) ⋮ Verified software. Theories, tools, and experiments. 8th international conference, VSTTE 2016, Toronto, ON, Canada, July 17--18, 2016. Revised selected papers ⋮ Verified software. Theories, tools, and experiments. 9th international conference, VSTTE 2017, Heidelberg, Germany, July 22--23, 2017. Revised selected papers ⋮ Title not available (Why is that?)

This page was built for publication: Special issue: Workshop on tools at VSTTE 2008. Selected papers based on the presentations at the conference on verified software: theories, tools and experiments, Toronto, Canada, October 6--9, 2008

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q638912)