Annals of Pure and Applied Logic · 2008 · 85 citations · 15 references
15
Samson Abramsky, Achim Jung · Logic in Computer Science · 1995 · 911 citations
The foundations of program verification.
Mathematics and Computers in Simulation · 1986 · 138 citations · Full text
Dongsheng Zhao, Taihe Fan · Theoretical Computer Science · 2010 · 76 citations