Reasoning about Aliasing (1996)

by Mark Utting , Mark Utting
Venue:In The Fourth Australasian Refinement Workshop
Citations:13 - 0 self