ITEM METADATA RECORD
Title: Formal verifications: an industrial case study
Authors: Vergauwen, Bart ×
Lewi, Joannes #
Issue Date: May-1992
Host Document: Proceedings COMP EURO 92 pages:208-213
Publication status: published
KU Leuven publication type: IC
Appears in Collections:Informatics Section
× 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.

© Web of science