Work

On the Ability to Reason About Program Behaviour

FWCI: 0.678
Cites: 12
Cited by: 9
Related to: 10