Electronic Notes in Theoretical Computer Science, Volume 190

Listing of the DBLP Bibliography Server - FAQ
Other views: modern
Other mirrors: Trier II - Dagstuhl

back to Electronic Notes in Theoretical Computer Science

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) Last update 2017-06-23 00:19 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page