LIBRARY Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: 10th International Conference, TAP 2016, Held as Part of STAF 2016, Vienna, Austria, July 5-7, 2016, Proceedings 2016 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings 2015 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: 8th International Conference, TAP 2014, Held as Part of STAF 2014, York, UK, July 24-25, 2014. Proceedings 2014 · ENGLISH · PDF View details →
LIBRARY Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 2009 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings 2013 · ENGLISH · PDF View details →
LIBRARY Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Software Composition: 11th International Conference, SC 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings 2012 · ENGLISH · PDF View details →
LIBRARY Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 2011 · ENGLISH · PDF View details →
LIBRARY Software Composition: 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Logic-Based Program Synthesis and Transformation: 20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers 2011 · ENGLISH · PDF View details →
LIBRARY Tests and Proofs: 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings 2011 · ENGLISH · PDF View details →
LIBRARY Foundations of Software Technology and Theoretical Computer Science: Ninth Conference, Bangalore, India December 19–21, 1989 Proceedings 1989 · ENGLISH · DJVU View details →
LIBRARY Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers 2009 · ENGLISH · PDF View details →