PakCat catalogue record

Logic-Based Program Synthesis and Transformation

By Michael Hanus (Ed.)

Bibliographic details

Subjects

NULL