Subject: Formal methods for software reengineering

9 general knowledge quiz questions. It should take around 2 minutes to complete all the questions.