conferences and conventions

SPIN 2018

Time
Wednesday, 20. June 2018
– Friday, 22. June 2018

Where
Málaga, Spain

Host

25th International Symposium on Model Checking of Software
More information:
spin2018.uma.es