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 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback