Szintézis és Verifikáció

Az ELTE IK Programtervező Informatikus MSc képzésén található Szintézis és Verifikáció nevű tantárgy jegyzetei. A Dr. Gregorics Tibor által tartott előadások tőle származó órai…