2,128 followers
RT @Jose_A_Alonso: Symbolic computation and automated reasoning for program analysis. ~ L. Kovacs https://t.co/1PSaAMU5jJ
RT @Jose_A_Alonso: Symbolic computation and automated reasoning for program analysis. ~ L. Kovacs https://t.co/1PSaAMU5jJ
RT @Jose_A_Alonso: Symbolic computation and automated reasoning for program analysis. ~ L. Kovacs https://t.co/1PSaAMU5jJ
RT @Jose_A_Alonso: Symbolic computation and automated reasoning for program analysis. ~ L. Kovacs https://t.co/1PSaAMU5jJ
Symbolic computation and automated reasoning for program analysis. ~ L. Kovacs https://t.co/1PSaAMU5jJ