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