Report copyright - The C Case for Property-Based Tes=ng - TU Dortmund · t24 fsm_init (t21 a1);! data Ct21! ... testing and debugging; Formal software verification; Functional languages; Keywords COGENT,
Please pass captcha verification before submit form