Pantazis Deligiannis, profile picture

Pantazis Deligiannis

Sort by
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers
Asynchronous Programming, Analysis and Testing with State Machines