HASKELL
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, Haskell@ICFP
CAV
Computer Aided Verification - 31th International Conference, CAV
FMCAD
Formal Methods in Computer Aided Design, FMCAD
ATVA
Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings
Proceedings of the 1st International Workshop on Safe Control of Connected and Autonomous Vehicles, SCAV@CPSWeek 2017, Pittsburgh, PA, USA, April 21, 2017
Proceedings Sixth Workshop on Synthesis, SYNT 2017, Heidelberg, Germany, 22nd July 2017.
CAV
Computer Aided Verification - 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I