1
Tests and Proofs [E-Book] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
2
Abstract State Machines - Theory and Applications [E-Book] : International Workshop, ASM 2000 Monte Verità, Switzerland, March 19–24, 2000 Proceedings /