Üdvözöljük a

Programhelyesség-bizonyítás algebrai módszerekkel

projekt honlapján!

Programozási Nyelvek és Fordítóprogramok Tanszék
Eötvös Loránd Tudományegyetem, Budapest, Magyarország

és

Szimbolikus Számítások Kutatóintézete (RISC)
Johannes Kepler Egyetem, Linz, Ausztria