Sciweavers

FORTE
2009

Dynamic Symbolic Execution of Distributed Concurrent Objects

13 years 10 months ago
Dynamic Symbolic Execution of Distributed Concurrent Objects
Andreas Griesmayer, Bernhard K. Aichernig, Einar B
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where FORTE
Authors Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte
Comments (0)