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

Cached

Download Links

by Christoph Beierle , Egon Börger
Citations:9 - 4 self