SEMINARID

id

[uued] [2019] [2018] [2017] [2016] [2015] [2014] [2013] [2012] 2011 [2010] [2009]
 

  • 18.11.2011, 14:00, KübI B 101. Boriss Šelajev (KübI) räägib teemal "On dynamic logic" (KeY süsteemist Java programmide verifitseerimiseks HATS projekti kontekstis).

Viimati muutnud: 2017/08/16 17:45