WoSoCer 2020

The 10th IEEE International Workshop on Software Certification

Special theme: Security and Privacy Certification in Safety-critical Systems

Co-located with the ISSRE 2020 full-virtual conference

October 12 - 15, 2020