VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

Hilfe-/Tutorial-Dokument/Video #4

Open csicar opened 7 years ago

csicar commented 7 years ago

This could be done via another wizard (similar to the configuration wizard) that is automatically launched after the configuration wizard on first startup.