Electronic Notes in Theoretical Computer Science, Volume 190

Refine list

showing all ?? records

Volume 190, Number 1, July 2007

Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007)

Volume 190, Number 2, August 2007

Proceedings of the Third Workshop on Model Based Testing (MBT 2007)

Volume 190, Number 3, September 2007

Proceedings of the Fifth Workshop on Quantitative Aspects of Programming Languages (QAPL 2007)

Volume 190, Number 4, November 2007

Proceedings of the Workshop on Compiler Optimization meets Compiler Verification (COCV 2007)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics