International SPIN Symposium on Model Checking of Software (SPIN)
Event name
International SPIN Symposium on Model Checking of Software (SPIN)
Start date
08-07-2013
End date
09-07-2013
Location
Stony Brook, NY, USA
Country
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.002 seconds).