Hi Frank, thanks so much for the fast fix! I managed to migrate our software to USE...
Forgot to mention explicitly, please look at the protokoll.txt in the attachment...
Forgot to mention explicitly, please look at the protokoll.txt in the attachment...
Hi Frank, thanks a lot for your fast response! I'm using the USE tool and the Kodkod...
Hi, first of all, I'd like to thank you for your great work! We started applying...