10. VMCAI 2009:
Savannah, GA, USA Neil D. Jones , Markus Müller-Olm (Eds.):
Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings.
Lecture Notes in Computer Science 5403 Springer 2009, ISBN 978-3-540-93899-6 Invited Talks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Invited Tutorials
export record as
dblp key:
Byron Cook :
Advances in Program Termination and Liveness.
4
export record as
dblp key:
Submitted Papers
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/vmcai/JurdzinskiLR09 export record as
dblp key:
conf/vmcai/KattenbeltKNP09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Patrick Maier :
Deciding Extensions of the Theories of Vectors and Bags.
245-259
export record as
dblp key:
export record as
dblp key:
Rotem Oshman :
An Automata-Theoretic Dynamic Completeness Criterion for Bounded Model-Checking.
275-289
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Viktor Vafeiadis :
Shape-Value Abstraction for Verifying Linearizability.
335-348
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
