Verification of object-oriented designs

Thumbnail Image
Files
Baluta_Verification_of.pdf(7.42 MB)
Date
1997
Authors
Baluta, Wasyl
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://hdl.handle.net/1993/19387
Collections
FGS - Electronic Theses and Practica