A Formalization of Correctness for Linked Representations of Datapath Hardware

Auteur : David W. Knapp, University of Illinois at Urbana-Champaign. Department of Computer Science

Date de publication : 1989

Éditeur : Department of Computer Science, University of Illinois at Urbana-Champaign

Nombre de pages : 54