Tayssir Touili
- Widening techniques for regular tree model checking
2011/08/02 by Ahmed Bouajjani, Tayssir Touili · 1 citation
Computer Science · #Formal Methods in Verification #Software Reliability and Analysis Research #Software Testing and Debugging Techniques