Modification of ion-temperature-gradient turbulence by impurities in stellarator plasmas
Calvo, I
Parra, F
Thienpondt, H
García-Regaña, J
Nuclear Fusion
volume 66
issue 4
046031
(01 Apr 2026)
Experiences from the European ProCoS Projects: Provably Correct Systems
Bowen, J
Fränzle, M
Olderog, E
Bjorner, D
Hansen, M
Langmaack, H
Liu, Z
Martin, U
Formal Aspects of Computing
(23 Mar 2026)