SAT, Interpolants and Software Model Checking Ken McMillan Cadence Berkeley Labs.
Relevance Heuristics for Program Analysis Ken McMillan Cadence Research Labs TexPoint fonts used in EMF: A A A A A.
An experimental investigation on the semantics/pragmatics of scalar terms N. Katsos & R. Breheny University of Cambridge.
An experimental investigation on the semantics/pragmatics of scalar terms