Low-Fat Recipes for SPIN

T.C. Ruys, K. Havelund (Editor), J. Penix (Editor), W. Visser (Editor)

    Research output: Contribution to conference › Paper

    Original languageUndefined
    Pages287-321
    Number of pages35
    Publication statusPublished - Aug 2000
    Event7th International SPIN Workshop on Model Checking and Software Verification 2000 - Stanford, United States
    Duration: 30 Aug 2000 → 1 Sep 2000
    Conference number: 7

    Workshop

    Workshop7th International SPIN Workshop on Model Checking and Software Verification 2000
    CountryUnited States
    CityStanford
    Period30/08/00 → 1/09/00

    Keywords

    • EWI-6446
    • IR-63279

    Access to Document

    Cite this