Software Specification Verification and TestingAna Oprescu, Damian FrolichFeb 5, 2024 Teaching in the Master Software EngineeringGraduate School of InformaticsAna OprescuAssistant ProfessorDamian FrolichPostdoc
