90 followers
CoCoSpec: A mode aware contract language by A.Champion, A.Gurfinkel, T.Kahsai and C.Tinelli https://t.co/X8MbDok15u #sefm16 #staf16
CoCoSpec: A mode aware contract language by A.Champion, A.Gurfinkel, T.Kahsai and C.Tinelli https://t.co/X8MbDok15u #sefm16 #staf16