A Formalization of Objects Using Equational Dynamic Logic (1991)

Cached

Download Links

by R.J. Wieringa
Citations:24 - 9 self