Seminarium 2.08.2016

  • Katedra Inżynierii Oprogramowania

    zaprasza dnia 2.08.2016 o godzinie 12.00 na

    seminarium

    "Why Inductive Proofs that Program Execution Meets Formal Specification Are Better",

    które wygłosi

    Brian Larson
    z Kansas State University

    Prezentacja odbędzie się
    w sali 122 EA.

Załączone pliki