[tlaplus] Teaching TLA+ How?

["ovidiu...@xxxxxxxxx" <ovidiu21marcu@xxxxxxxxx>]

Hello,

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

https://lamport.azurewebsites.net/tla/tla.html

http://lamport.azurewebsites.net/video/videos.html

Thanks,

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.