Browsing Theoretical Computer Science Group by Author
Authors Name |
---|
Özcan, E [2] |
Pasareanu, CS [2] |
Patras, I [1] |
Phan, Q-S [5] |
Poiesi, F [1] |
Ramsay, SJ [1] |
Ruksenas [1] |
Smeraldi, F [1] |
SPIN 2014 Proceedings of the 2014 International SPIN Symposium on Model Checking of Software [1] |
Svendsen, K [1] |
Tautschnig, M [2] |
Tzevelekos, N [6] |
Yang, H [1] |