A modular verification methodology for C# delegates (2007)

by P Müller, J N Ruskiewicz
Venue:Rigorous Methods for Software Construction and Analysis