find command that is used for running the GeTeTa - Githubissues

VerifAPS / stvs

StructuredText Verification Studio

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

GNU General Public License v3.0

9 stars 0 forks source link

find command that is used for running the GeTeTa #49

Open csicar opened 6 years ago