Showing 1 - 5 results of 5 for search 'Podelski, Andreas', query time: 0.02s Refine Results
  1. 1
    Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings /
    Published 2018
    Other Authors: “…Podelski, Andreas…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Networked Systems 6th International Conference, NETYS 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers /
    Published 2019
    Other Authors: “…Podelski, Andreas…”
    Full Text via HEAL-Link
    Electronic eBook
  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: “…Podelski, Andreas…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
    Published 2007
    Other Authors: “…Podelski, Andreas…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings /
    Published 2012
    Other Authors: “…Podelski, Andreas…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search