Low-Fat Recipes for SPIN

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

Research output: Contribution to conference › Paper › Academic

Original language	Undefined
Pages	287-321
Number of pages	35
Publication status	Published - Aug 2000
Event	7th International SPIN Workshop on Model Checking and Software Verification 2000 - Stanford, United States Duration: 30 Aug 2000 → 1 Sep 2000 Conference number: 7

Workshop	7th International SPIN Workshop on Model Checking and Software Verification 2000
Country	United States
City	Stanford
Period	30/08/00 → 1/09/00

Keywords