A Proposed Interface Logic for Verification Environments (1991)

by J D Guttman