Volume 153, Number 1, 30 March 2006
Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering (CLASE 2005)
Volume 153, Number 2, 23 May 2006
Proceedings of the Third Workshop on Quantitative Aspects of Programming Languages (QAPL 2005)
: Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks.
Volume 153, Number 3, 20 June 2006
Proceedings of the First Workshop on Formal Verification of Analog Circuits (FAC 2005)
: Analog Circuit Verification: a State of an Art.
Volume 153, Number 4, 27 June 2006
Proceedings of the Third International Workshop on Synchronous Languages, Applications, and Programs (SLAP 2004)
: Goto and Concurrency Introducing Safe Jumps in Esterel.