You are not logged in |
Back to the list of the institutes
Publications
Conference: Krajowa Konferencja Inżynierii Oprogramowania
Number of publications: 12013
- 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 September 2013 - 20 September 2013. See in PBN
