Nom
Zhangeldinov
Prénom
Olzhas
Téléphone
Bureau
Mail
Olzhas.Zhangeldinov@irif.fr
Page web
https://www.irif.fr/~zhangeldinov/
LTL Model Checking of Concurrent Self Modifying Code - Full Version