![]() |
Licensing and Disclaimer |
![]() |
AProVE Help System → Contact and Legal Matters → | Licensing and Disclaimer |
Without executing an applicable commercial license with RWTH Aachen,
no part of the code may be sold, offered for sale, or made
accessible on a computer network external to your own or your
organization's; nor may commercial services utilizing the code
be sold or offered for sale.
NO OTHER LICENSES ARE GRANTED OR IMPLIED.