Nie jesteś zalogowany | Zaloguj się

PL /
EN

Conference: Krajowa Konferencja Inżynierii Oprogramowania

Liczba publikacji: 1

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