Write specifications using model checking

Mbyllur Postuar 4 vite mё parё Paguhet në dorëzim
Mbyllur Paguhet në dorëzim

Writing spec using NuSMV or UPPAAL.

Programim

ID Projekti: #19301790

Rreth projektit

Projekti në distancë Aktiv 4 vite mё parё