Eine neue graphische Benutzeroberfläche für ProB in Eclipse

Author

Lukas Diekmann

Advised By

Jens Bendisposto

Retrieved from "http://www.formal-methods.de/w/Eine_neue_graphische_Benutzeroberfl%C3%A4che_f%C3%BCr_ProB_in_Eclipse"

Categories: Jens Bendisposto | Completed Thesis