Showing 1 - 7 results of 7 for search 'Palsberg, Jens', query time: 0.02s Refine Results
  1. 1
    Static Analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29 - July 6, 2000, Proceedings /
    Published 2000
    Other Authors: “…Palsberg, Jens…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
    Published 2005
    Other Authors: “…Palsberg, Jens…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Semantics and Algebraic Specification Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday /
    Published 2009
    Other Authors: “…Palsberg, Jens…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Verification, Model Checking, and Abstract Interpretation 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings /
    Published 2018
    Other Authors: “…Palsberg, Jens…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Tools and Algorithms for the Construction and Analysis of Systems 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings /
    Published 2006
    Other Authors: “…Palsberg, Jens…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Static Analysis 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings /
    Published 2009
    Other Authors: “…Palsberg, Jens…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
    Published 2008
    Other Authors: “…Palsberg, Jens…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search