TY - BOOK ID - 129525874 TI - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software AU - Erdogmus, Hakan AU - Association for Computing Machinery-Digital Library. PY - 2017 SN - 1450350771 PB - New York NY ACM DB - UniCat UR - https://www.unicat.be/uniCat?func=search&query=sysid:129525874 AB - ER -