ITEM METADATA RECORD
Title: Using non-determinism for the separate specification of structure and behaviour
Authors: Bekaert, Pieter
Steegmans, Eric
Issue Date: Apr-2002
Publisher: Department of Computer Science, K.U.Leuven, Leuven, Belgium
Series Title: CW Reports vol:CW337 pages:24
URI: 
Publication status: published
KU Leuven publication type: IR
Appears in Collections:Informatics Section

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.