gerbil icon indicating copy to clipboard operation
gerbil copied to clipboard
verified publisher icon dice-group

[QA] use QUINT as a new system

Open RicardoUsbeck opened this issue 6 years ago • 0 comments

Add the api https://gate.d5.mpi-inf.mpg.de/quint/quint

RicardoUsbeck avatar May 19 '19 08:05 RicardoUsbeck