Nimal Nissanke

• Introductory logic and sets for computer scientists
• Formal Specification
• Formal specification
• Realtime Systems
• Design of Safety-Critical Systems