Softwareverifizierung

1. Dezember 2009

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