Title: Formalizing a behavioral specification language for correct transformational design
Authors: Angelo, Catia Marcondes ×
Claesen, Luc #
Issue Date: 1996
Host Document: pages:79-84
Conference: Proceedings XI Conference of the Brazilian Microelectronics Society; 29 July - 2 August 1996; Aguas de Lindóia, Brazil. location:Leuven Belgium
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Electrical Engineering - miscellaneous
× corresponding author
# (joint) last author

Files in This Item:

There are no files associated with this item.

Request a copy


All items in Lirias are protected by copyright, with all rights reserved.