DMCA

Testing concurrent object-oriented systems with Spec Explorer (2005)

by Colin Campbell , Wolfgang Grieskamp , Lev Nachmanson , Wolfram Schulte , Nikolai Tillmann , Margus Veanes
Venue:Proc. Intl. Symposium of Formal Methods Europe
Citations:14 - 4 self