Login / Signup
Joseph N. Ruskiewicz
Publication Activity (10 Years)
Years Active: 2009-2011
Publications (10 Years): 0
</>
Publications
</>
Peter Müller
,
Joseph N. Ruskiewicz
Using Debuggers to Understand Failed Verification Attempts.
FM
(2011)
Peter Müller
,
Joseph N. Ruskiewicz
A Modular Verification Methodology for C# Delegates.
Rigorous Methods for Software Construction and Analysis
(2009)