Sacramento State

Department Banner

ScholarWorks Home
Electronic Theses/Projects and Dissertations
Browsing Electronic Theses/Projects and Dissertations by Author

Browsing Electronic Theses/Projects and Dissertations by Author "George, Nixon Sunny"

Now showing items 1-1 of 1

FOZCIL: a framework for converting formal specifications in Object-Z to design contracts in OO programming languages

George, Nixon Sunny (2010-06-15)

Now showing items 1-1 of 1

Search DSpace

Advanced Search

Browse

All of ScholarWorks
This Community
- By Issue Date
- Authors
- Titles
- Subjects
- Thesis Advisor
- Reader
- Program

My Account

Login