×

zbMATH — the first resource for mathematics

Found 6 Documents (Results 1–6)

100
MathJax
Miller, Alice (ed.) et al., Proceedings of the 8th international workshop on automated verification of critical systems (AVoCS 2008), Glasgow, UK, September 30 – October 1, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 250, No. 2, 85-102 (2009).
MSC:  68Q60 68Q85 68T15 68W15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
Classification
all top 3
Software