01095nam 2200337 450 99657540070331620230419175919.01-7281-4113-3(CKB)4100000009669500(NjHacI)994100000009669500(EXLCZ)99410000000966950020230419d2019 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2019 Forum for Specification and Design Languages (FDL) /Institute of Electrical and Electronics Engineers[Place of publication not identified] :IEEE,2019.1 online resource1-7281-4114-1 2019 Forum for Specification and Design Languages Computer programsVerificationCongressesComputer programsVerification005.14NjHacINjHaclPROCEEDING9965754007033162019 Forum for Specification and Design Languages (FDL)2540928UNISA