Safeness of make-based incremental recompilation

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

    Original languageEnglish
    Title of host publicationFME 2002 : formal methods - getting IT right. International Symposium of Formal Methods Europe. proceedings
    PublisherKluwer Academic Publishers
    Publication date2002
    Pages126-145
    ISBN (Print)3540439285
    Publication statusPublished - 2002
    EventFormal Methods Europe - Copenhagen, Denmark
    Duration: 22 Jul 200224 Jul 2002
    Conference number: 11

    Conference

    ConferenceFormal Methods Europe
    Number11
    Country/TerritoryDenmark
    CityCopenhagen
    Period22/07/200224/07/2002

    Cite this