A Formalization of Objects Using Equational Dynamic Logic (1991)

Cached

Download Links

by R.J. Wieringa
Citations:25 - 10 self