FORMAALIT MENETELMÄT 2002:
Kurssille JA TENTTIIN ilmoittautuminen:
Kurki-järjestelmä
(tai Kotka)
Surffauksen aloituspaikka:
Formaalien menetelmien opetuksesta -sivu
Täältäkin pääsee pitkälle:
NASA:n sivu formaaleista menetelmistä
Vanha ohjelmistotuotannon www-sivukin on aika formaali:
Ohjelmistotuotanto 2000
Yksi aihepiiriä hipaiseva TKK:n kurssi, jonka yhteydestä löytyy myös hyvä linkkilista:
Tik-76.611