WoSoCer (9th Intl. Workshop on Software Certification)

The call for paper will be published soon.