Showing 1 - 3 results of 3 for search 'Heimdahl, Mats', query time: 0.01s Refine Results
  1. 1
    Proceedings of the 2012 International Symposium on Software Testing and Analysis (ISSTA) : July 15-20, 2012 Minneapolis, MN, USA
    by Heimdahl, Mats
    Published 2012
    Other Authors: “…Heimdahl, Mats…”
    eBook
  2. 2
    Proceedings of the third Workshop on Formal Methods in Software Practice
    by Heimdahl, Mats P. E.
    Published 2000
    Other Authors: “…Heimdahl, Mats P. E.…”
    eBook
  3. 3
    Proceedings of FMSP '00 : the Third Workshop on Formal Methods in Software Practice, August 24-25, 2000, Portland, Oregon, USA : co-located with ISSTA '00
    Published 2000
    Other Authors: “…Heimdahl, Mats P. E.…”
    Book

Search Tools: