5.2. Formal and Semiformal Methods in System Specification Handwritten Notes | Real Time Systems BSc. CSIT | FWU | TABFlux