Low-Fat Recipes for SPIN

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

    Research output: Contribution to conferencePaperAcademic

    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 20001 Sep 2000
    Conference number: 7

    Workshop

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

    Keywords

    • EWI-6446
    • IR-63279

    Cite this