DMCA

A modular verification methodology for C# delegates

Cached


by Peter Müller , Joseph N. Ruskiewicz
Venue:Rigorous Methods for Software Construction and Analysis
Citations:5 - 2 self