aprove@i2.informatik.rwth-aachen.deFor further possibilities to get into contact with us, please look at the web site of the Research Group Computer Science II:
http://www-i2.informatik.rwth-aachen.de/lufgi2/index_e.html
![]() |
Contact |
![]() |
AProVE Help System → Contact and Legal Matters → | Contact |
aprove@i2.informatik.rwth-aachen.deFor further possibilities to get into contact with us, please look at the web site of the Research Group Computer Science II:
http://www-i2.informatik.rwth-aachen.de/lufgi2/index_e.html