Formal Specification Techniques - CAS 707 Course

participant

• Kahl, Wolfram   Instructor 2018
• Kahl, Wolfram   Instructor 2019
• Kahl, Wolfram   Instructor 2022
• Sekerinski, Emil   Instructor 2023