Volume 203, Number 1, March 2008
Proceedings of the Fourth International Workshop on Computing with Terms and Graphs (TERMGRAPH 2007)
: Modeling and Verifying Graph Transformations in Proof Assistants.
Volume 203, Number 2, April 2008
Proceedings of the Seventh Workshop on Language Descriptions, Tools, and Applications (LDTA 2007)
Volume 203, Number 3, May 2008
Proceedings of the Workshop on the Foundations of Interactive Computation (FInCo 2007)
Volume 203, Number 4, June 2008
Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems (SLA++P 2007)
: Modifying Contracts with Larissa Aspects.
Volume 203, Number 5, June 2008
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science (CMCS 2008)
: Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems.
Volume 203, Number 6, November 2008
Volume 203, Number 7, April 2009
: WCET Analysis of Data Dependent, Component Oriented, Embedded Software Systems.