Incremental specification and verification of object systems /

Bibliographic Details
Main Author:	Fridella, Stephen Anthony
Language:	English
Published:	The Ohio State University / OhioLINK 2000
Subjects:	Computer Science
Online Access:	http://rave.ohiolink.edu/etdc/view?acc_num=osu1488199501405076

id	ndltd-OhioLink-oai-etd.ohiolink.edu-osu1488199501405076
record_format	oai_dc
spelling	ndltd-OhioLink-oai-etd.ohiolink.edu-osu14881995014050762021-08-03T07:00:37Z Incremental specification and verification of object systems / Fridella, Stephen Anthony Computer Science 2000 English text The Ohio State University / OhioLINK http://rave.ohiolink.edu/etdc/view?acc_num=osu1488199501405076 http://rave.ohiolink.edu/etdc/view?acc_num=osu1488199501405076 unrestricted This thesis or dissertation is protected by copyright: all rights reserved. It may not be copied or redistributed beyond the terms of applicable copyright laws.
collection	NDLTD
language	English
sources	NDLTD
topic	Computer Science
spellingShingle	Computer Science Fridella, Stephen Anthony Incremental specification and verification of object systems /
author	Fridella, Stephen Anthony
author_facet	Fridella, Stephen Anthony
author_sort	Fridella, Stephen Anthony
title	Incremental specification and verification of object systems /
title_short	Incremental specification and verification of object systems /
title_full	Incremental specification and verification of object systems /
title_fullStr	Incremental specification and verification of object systems /
title_full_unstemmed	Incremental specification and verification of object systems /
title_sort	incremental specification and verification of object systems /
publisher	The Ohio State University / OhioLINK
publishDate	2000
url	http://rave.ohiolink.edu/etdc/view?acc_num=osu1488199501405076
work_keys_str_mv	AT fridellastephenanthony incrementalspecificationandverificationofobjectsystems
_version_	1719451606831857664

Incremental specification and verification of object systems /

Similar Items