» version anglaise » EVENTS » Digiteo seminar » Previous seminar » Using Theorem Provers for Testing - Foundations, Challenges and Future (...)

20 mars 2013

Using Theorem Provers for Testing - Foundations, Challenges and Future Directions

Burkhart Wolff

Full Professor at the LRI of University Paris-Sud (Orsay)

Coming soon