SPIN 2018
Time
20. - 22. June 2018
Location
Málaga, Spain
Organizer
Speaker:
25th International Symposium on Model Checking of Software
More information:
