83 followers
Just published my chapter for "Logic-Based Program Synthesis and Transformation" with #Springer https://t.co/tdO1RAm50L vía @AuthorZone
Just published my chapter for "Logic-Based Program Synthesis and Transformation" with #Springer https://t.co/tdO1RAm50L vía @AuthorZone