Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings by

Model Checking Software: 18th International Spin Workshop, Snowbird, Ut, Usa, July 14-15, 2011, Proceedings

Lecture Notes in Computer Science

193 pages • missing pub info (editions)

nonfiction computer science design informative medium-paced
Powered by AI (Beta)
Loading...

Description

This volume contains the proceedings of the 12th International SPIN Wo- shop on Model Checking of Software, held in San Francisco, USA, on August 22-24,2005.SPIN 2005is a forum for practitionersand researchersinterested in model-checking based tec...

Read more

Community Reviews

Loading...

Content Warnings

Loading...