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