The 14th International SPIN Workshop on Model Checking of Software (SPIN 2007)

Date: 
July, 2007
Country: 
Germany (Berlin)