90 followers
SMT-based automatic proof of ASM model refinement by P.Arcaini, A.Gargantini & E.Riccobene https://t.co/17eL1QghzM #sefm16 #staf16
SMT-based automatic proof of ASM model refinement by P.Arcaini, A.Gargantini & E.Riccobene https://t.co/17eL1QghzM #sefm16 #staf16