90 followers
Termination Proofs w/ Bitvector Arithmetic & Symbolic Execution by J.Hensel, J.Giesl, F.Frohn, T.Ströder https://t.co/uzJBN6vAKy #sefm16
Termination Proofs w/ Bitvector Arithmetic & Symbolic Execution by J.Hensel, J.Giesl, F.Frohn, T.Ströder https://t.co/uzJBN6vAKy #sefm16