1 paper · 1 filter
Gabriel Ferreira, Christian Kästner, Joshua Sunshine +2
In many domains, software systems cannot be deployed until authorities judge them fit for use in an intended operating environment. Certification standards and processes have been…