MU-TERM

Verify termination properties automatically

Skip to content
  • Home
  • Documentation
  • Benchmarks
  • Web Interface
  • Team/Contact
  • Financial Support

Team/Contact

Members

  • Salvador Lucas (coordinator)
  • Raúl Gutiérrez

Former contributors

  • Beatriz Alarcón
  • Santiago Escobar
  • Pepe Iborra
  • Raquel Montagut
  • Rafael Navarro Marset
  • Eloy Romero
  • Pascal Sotin

Contact

If you have a question, comment, bug report or submission for us, please direct your communication to:

Salvador Lucas

Proudly powered by WordPress