Publikacje

Konferencja: Krajowa Konferencja Inżynierii Oprogramowania

2013

• Patryk Czarnik, Jacek Chrząszcz, Aleksy Schubert , CoJaq: a hierarchical view on the Java bytecode formalised in Coq, Krajowa Konferencja Inżynierii Oprogramowania, Szczecin, 18 września 2013 - 20 września 2013. Zobacz w PBN