Ústav informatiky Akademie věd České republiky

english
česky

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

Ústav
Výzkum
Aplikace
Aktuality
Události
Knihovna
Kariéra
Kontakty

Ústav informatiky Akademie věd České republiky

Přihlášení

Přihlaste se účtem své organizace prostřednictvím eduID.

Ústav
Výzkum
Aplikace
Aktuality
Události
Knihovna
Kariéra
Kontakty

Domů
Události
Abstraction-Based Machine-Code Program Verification.

Abstraction-Based Machine-Code Program Verification.

Kdy: 21. dubna 2025

Kde: Hora Informaticae

Seminář / přednáška Abstraction-Based Machine-Code Program Verification..

Ústav informatiky AV ČR, v.v.i.

Pod Vodárenskou věží 271/2
182 00 Praha 8
Kontakt

Telefon: (+420) 793 965 799
Email: ics@cs.cas.cz

test

© 2026 © Středisko společných činností AV ČR, v. v. i.

Cookies