Showing 1 - 6 results of 6 for search 'Leuschel, Michael', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
    Published 2003
    Other Authors: “…Leuschel, Michael…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
    Published 2007
    Other Authors: “…Leuschel, Michael…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  3. 3
    Integrated Formal Methods 7th International Conference, IFM 2009, Düsseldorf, Germany, February 16-19, 2009. Proceedings /
    Published 2009
    Other Authors: “…Leuschel, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers
    by Boer, Frank S.
    Published 2010
    Other Authors: “…Leuschel, Michael…”
    Get full text
    Electronic Kit Book
  5. 5
    Formal Methods for Components and Objects 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers /
    Published 2010
    Other Authors: “…Leuschel, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Abstract State Machines, Alloy, B, VDM, and Z Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings /
    Published 2012
    Other Authors: “…Leuschel, Michael…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search