Formal methods engineering A short overview. Basics The course was given by Hussein Zedan (Leicester, UK) … The course was given by Hussein Zedan (Leicester,
Formal methods engineering
sugar machine
