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