[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Teaching TLA+ How?


Looking to teach TLA+ at the university for college/master students are there any available courses online?

I was only able to find this conversation https://discuss.tlapl.us/msg02777.html

I am also aware of available resources like


Ovidiu Marcu

You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/3322619e-d0a4-48e1-bc9b-0bb24a46cb67n%40googlegroups.com.