*Result*: Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Title:
Model Checking Software - 26th International Symposium, SPIN 2019, Beijing, China, July 15-16, 2019, Proceedings
Contributors:
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Source:
SPIN. 11636
Availability:
Database:
dblp computer science bibliography