Mark as
Logic-Based Program Synthesis and Transformation
More by Fred Mesnard
Recent activity
Rate this book to see your activity here.
Comments and reviews
Please sign in to leave a comment
Mark as