OPODIS
22nd International Conference on Principles of Distributed Systems, OPODIS 2018, December 17-19, 2018, Hong Kong, China
ATVA
International Symposium on Automated Technology for Verification and Analysis (ATVA)
IFIP/IEEE International Conference on Very Large Scale Integration, VLSI-SoC 2018, Verona, Italy, October 8-10, 2018
VMCAI
Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Proceedings
Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.