LIBRARY Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings 2000 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers 2007 · ENGLISH · PDF View details →
LIBRARY Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings 2000 · ENGLISH · PDF View details →
LIBRARY Computer Science Logic: 7th Workshop, CSL '93 Swansea, United Kingdom September 13–17, 1993 Selected Papers 1994 · ENGLISH · DJVU View details →