453 followers
RT @convecs: "The Rewrite Engines Competitions: A RECtrospective", F. Duran, H. Garavel, TACAS'19 https://t.co/e9zV2vbdZY
RT @convecs: "The Rewrite Engines Competitions: A RECtrospective", F. Duran, H. Garavel, TACAS'19 https://t.co/e9zV2vbdZY
"The Rewrite Engines Competitions: A RECtrospective", F. Duran, H. Garavel, TACAS'19 https://t.co/e9zV2vbdZY