Nie jesteś zalogowany | zaloguj się

Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego

  • Skala szarości
  • Wysoki kontrast
  • Negatyw
  • Podkreślenie linków
  • Reset

Publikacje

Marcin Engel

2011

2006

2001

  • Marcin Engel, Wykorzystanie systemów wspomagających dowodzenie do weryfikacji wewnętrznej spójności specyfikacji, w: III Krajowa Konferencja Inżynierii Oprogramowania, Wydawnictwo MIKOM, Warszawa 2001.zobacz w PBN

2000