Using Domain Algebras To Prove The Correctness Of A Compiler
Paper i proceeding, 1985

Författare

Peter Dybjer

Institutionen för informationsbehandling

Göteborgs universitet

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 182 98-108

Ämneskategorier

Datavetenskap (datalogi)