01
SPIN Model Checking and Software Verification 7th International SPIN Workshop Stanford, CA, USA, August 30 - September 1, 2000 Proceedings
An early work in this author overview with a supported 2006 catalog date.
Author
This record does not have a biography yet.
Know something we should add or correct? Suggest a correction.
A way in
A considered starting point for reading Willem Visser, drawn from catalog context and salon activity when available.
01
An early work in this author overview with a supported 2006 catalog date.
02
A clearly attributed work with a supported 2010 catalog date.
03
A recorded contribution selected from this stable author overview.
04
A recorded contribution selected from this stable author overview.
The catalog
4 works
No contribution clears the current Core threshold, so all cataloged contributions are shown.
Core ranking is using the catalog’s provisional quality order while the versioned ranking population is prepared.
1 cataloged edition
1 cataloged edition
2 cataloged editions
2 cataloged editions
Readers in conversation
Public notes, reviews, lists, and conversations around Willem Visser.
The conversation is still open.
There is no public salon activity to show for Willem Visser yet.