A Modular Verification Methodology for C# Delegates.

Published in: Rigorous Methods for Software Construction and Analysis (2009)