Online Public Access Catalogue

Logic Based Program Synthesis and Transformation

Hill, Patricia M.

Logic Based Program Synthesis and Transformation

9783540326564