Volume 220, Number 1, December 2008
Proceedings of the Fourth Workshop on Model Based Testing (MBT 2008)
: Model-based Security Testing Using UMLsec: A Case Study.
Volume 220, Number 2, December 2008
Proceedings of the 7th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2008)
Volume 220, Number 3, December 2008
Proceedings of the Sixth Workshop on Quantitative Aspects of Programming Languages (QAPL 2008)
Michael J. A. Smith
: Probabilistic Abstract Interpretation of Imperative Programs using Truncated Normal Distributions.
: On the Approximation of Stochastic Concurrent Constraint Programming by Master Equation.