Hongseok Yang:Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings.Lecture Notes in Computer Science 10201, Springer2017, ISBN 978-3-662-54433-4[contents]

Axel Legay, Tiziana Margaria:Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part I.Lecture Notes in Computer Science 10205, 2017, ISBN 978-3-662-54576-8[contents]

Axel Legay, Tiziana Margaria:Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II.Lecture Notes in Computer Science 10206, 2017, ISBN 978-3-662-54579-9[contents]

Peter Thiemann:Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings.Lecture Notes in Computer Science 9632, Springer2016, ISBN 978-3-662-49497-4[contents]

Frank Piessens, Luca Viganò:Principles of Security and Trust - 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings.Lecture Notes in Computer Science 9635, Springer2016, ISBN 978-3-662-49634-3[contents]

Marsha Chechik, Jean-François Raskin:Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings.Lecture Notes in Computer Science 9636, Springer2016, ISBN 978-3-662-49673-2[contents]

Jan Vitek:Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings.Lecture Notes in Computer Science 9032, Springer2015, ISBN 978-3-662-46668-1[contents]

Christel Baier, Cesare Tinelli:Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings.Lecture Notes in Computer Science 9035, Springer2015, ISBN 978-3-662-46680-3[contents]

Zhong Shao:Programming Languages and Systems - 23rd European Symposium on Programming, ESOP 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings.Lecture Notes in Computer Science 8410, Springer2014, ISBN 978-3-642-54832-1[contents]

Erika Ábrahám, Klaus Havelund:Tools and Algorithms for the Construction and Analysis of Systems - 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings.Lecture Notes in Computer Science 8413, Springer2014, ISBN 978-3-642-54861-1[contents]

Nir Piterman, Scott A. Smolka:Tools and Algorithms for the Construction and Analysis of Systems - 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings.Lecture Notes in Computer Science 7795, Springer2013, ISBN 978-3-642-36741-0[contents]

Helmut Seidl:Programming Languages and Systems - 21st European Symposium on Programming, ESOP 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings.Lecture Notes in Computer Science 7211, Springer2012, ISBN 978-3-642-28868-5[contents]

Cormac Flanagan, Barbara König:Tools and Algorithms for the Construction and Analysis of Systems - 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings.Lecture Notes in Computer Science 7214, Springer2012, ISBN 978-3-642-28755-8[contents]

Andrew D. Gordon:Programming Languages and Systems, 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings.Lecture Notes in Computer Science 6012, Springer2010, ISBN 978-3-642-11956-9[contents]

Javier Esparza, Rupak Majumdar:Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings.Lecture Notes in Computer Science 6015, Springer2010, ISBN 978-3-642-12001-5[contents]

Giuseppe Castagna:Programming Languages and Systems, 18th European Symposium on Programming, ESOP 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings.Lecture Notes in Computer Science 5502, Springer2009, ISBN 978-3-642-00589-3[contents]

Luca de Alfaro:Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings.Lecture Notes in Computer Science 5504, Springer2009, ISBN 978-3-642-00595-4[contents]

Sophia Drossopoulou:Programming Languages and Systems, 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings.Lecture Notes in Computer Science 4960, Springer2008, ISBN 978-3-540-78738-9[contents]