Opening book details…
About this scholarly article
Stateless Model Checking of Event-Driven Applications by Casper S. Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev is a scholarly article available to read on EtoBox.
- Author
- Casper S. Jensen, Anders Møller, Veselin Raychev, Dimitar Dimitrov, and Martin Vechev