Specification and correctness proof of a WAM extension with type constraints (1996)

Cached

Download Links

by Christoph Beierle , Egon Börger
Citations:11 - 5 self