Softwareverifizierung

Für einen unserer Kunden verifizieren wir den Build-Prozess einer umfangreichen in Java geschriebenen Client-Server-Anwendung.