Innopolis University - Models course. WhyApp is a WhatsApp clone to get used to formal methods.
Primary LanguageJava