PakCat catalogue record

Generating Plans from Proofs

By Benedikt, Michael; Ten Cate, Balder; Tsamoura, Efthymia

Bibliographic details

Subjects

NULL