WoSoCer 2018

The 8th IEEE International Workshop on Software Certification

Co-located with the ISSRE 2018 conference

15-18 October 2018, Memphis, TN, USA