5,697 followers Julien Vanegue ([email protected]) @jvanegue Abstraction of Syntax (D'Silva, Kroening) - http://t.co/0shv6UqbOt - relevant to #langsec @sergeybratus @maradydd 02 Feb 2015 Reply Repost Favourite