About dialog - Githubissues

VerifAPS / stvs

StructuredText Verification Studio

http://formal.iti.kit.edu/stvs

GNU General Public License v3.0

9 stars 0 forks source link

Closed csicar closed 7 years ago

csicar commented 7 years ago

About dialog should contain

the product license (GPLv3), and
a link to the website http://formal.iti.kit.edu/stvs or github http://github.com/verifaps/stvs

copy the original issue