Proceedings of the 9th SPIN Workshop
Grenoble, France

Held: April 11 - 13, 2002


Supported by ACM SIGPLAN and ACM SIGSOFT


Published as:
	Lecture Notes in Computer Science,
	Volume 2318, Springer Verlag.
	April 2002, ISSN 0302-9743, ISBN 3-540-43477-1
	The page numbers below refer to this publication.


Invited talks Tutorials Technical Program: Work In Progress Reports: Industrial Presentations

Program committee:

Workshop organization:


Spin Homepage
(Page updated: 15 April 2002)