On Behavioural Abstraction and Behavioural Satisfaction in Higher-Order Logic (1996)

by Martin Hofmann , Donald Sannella
Citations:25 - 5 self