3 research outputs found
Integration of the ProB model checker into Eclipse
Hiermit versichere ich, dass ich diese Bachelorarbeit selbstständig verfasst habe. Ich habe dazu keine anderen als die angegebenen Quellen und Hilfsmittel verwendet
3 research outputs found