A Basis for a Mathematical Theory of Computation

Snugglebug: a powerful approach to weakest preconditions

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation

Reasoning about multi-process systems with the box calculus

CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School

Predicate abstraction of Java programs with collections

Proceedings of the ACM international conference on Object oriented programming systems languages and applications