LIBRARY Logic from Computer Science: Proceedings of a Workshop held November 13–17, 1989 1992 · ENGLISH · PDF View details →
LIBRARY Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Runtime Verification: Second International Conference, RV 2011, San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers 2012 · ENGLISH · PDF View details →
LIBRARY Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers 2009 · ENGLISH · PDF View details →
LIBRARY Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings 2010 · ENGLISH · PDF View details →
LIBRARY Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers 2009 · ENGLISH · PDF View details →
LIBRARY Runtime Verification: 9th International Workshop, RV 2009, Grenoble, France, June 26-28, 2009. Selected Papers 2009 · ENGLISH · PDF View details →