News
Abstract: Object-Z is an extension of Z which facilitates specification of large, complex software by defining a system as a collection of independent classes. A number of contributions have been made ...
Object-Z is an extension of Z which facilitates specification of large, complex software by defining a system as a collection of independent classes. A number of contributions have been made so far to ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback