2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification. Conferences