Podelski, A. books & textbook
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings (Programming and Software Engineering)
Springer /2018-08-29 Paperback / 455 Pages
isbn-10: 3319997246 / isbn-13: 9783319997247
Constraint Programming: Basics and Trends: 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers (Lecture Notes in Computer Science, 910)
Springer /1995-03-20 Paperback / 336 Pages
isbn-10: 3540591559 / isbn-13: 9783540591559
Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings (Lecture Notes in Computer Science, 4349)
Springer /2007-01-03 Paperback / 406 Pages
isbn-10: 3540697357 / isbn-13: 9783540697350
Verified Software: Theories, Tools, Experiments: 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings (Lecture Notes in Computer Science, 7152)
Joshi, Rajeev Müller, Peter Podelski, Andreas
Springer /2012-01-10 Paperback / 337 Pages
isbn-10: 3642277047 / isbn-13: 9783642277047
Tools and Algorithms for the Construction and Analysis of Systems: 10th International Conference, TACAS 2004, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 2988)
Jensen, Kurt Podelski, Andreas
Springer /2004-03-18 Paperback / 628 Pages
isbn-10: 354021299X / isbn-13: 9783540212997
Networked Systems: 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers (Computer Communication Networks and Telecommunications)
Podelski, Andreas Taïani, François
Springer /2019-01-06 Paperback / 445 Pages
isbn-10: 3030055280 / isbn-13: 9783030055288
Tree Automata and Languages (Volume 10) (Studies in Computer Science and Artificial Intelligence, Volume 10)
North Holland /1992-11-22 Hardcover / 486 Pages
isbn-10: 0444890262 / isbn-13: 9780444890269
