×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Dawar, Anuj (ed.), SoftMC 2003. Workshop on software model checking (satellite workshop of CAV ’03), Ottawa, Canada, June 26–27, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 89, No. 3, 417-432 (2003).
MSC:  68N19 68N30 68Q60
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software