Showing 1 - 6 results of 6 for search 'Podelski, Andreas', query time: 0.03s Narrow Search
  1. 1
    Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29–31, 2018, Proceedings
    Published 2018
    Other Authors: “…Podelski, Andreas…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Constraint Programming: Basics and Trends 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers
    Published 1995
    Other Authors: “…Podelski, Andreas…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Tools and Algorithms for the Construction and Analysis of Systems 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings
    Published 2004
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9–11, 2018, Revised Selected Papers
    Published 2019
    Other Authors: “…Podelski, Andreas…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings
    Published 2007
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings
    Published 2012
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: