tmokenc Priklad iterativniho modelcheckingu

25. 12. 2024 15:05:56

560×333 (18.6 kiB)
#MSP

Thanks to Toby and Martin Wolf for the christmas decorations 🎄