› Taxonomy term › Incrementalizing Lattice-Based Program Analyses in Datalog › SZET: HF3 eredmények › EA16: Színezett Petri hálók (2. rész) ›

IRF: 1. vizsga eredmények

Micskei Zoltán, p, 2013-06-07 08:46

A HF beadó rendszerbe kikerültek az 1. vizsga eredményei.

Megtekintés és opcionális szóbeli: ma 11:00-11:45, IB408

Nyelvek

  • English
  • Magyar

Belépés

Navigáció