Jobs

Please, contact us for more information

4-ʕ•ᴥ•ʔ For-CoaLa

A French research project funded by ANR


Building formally verified IaC languages!

By Hélène Coullon and Frédéric Loulergue, 2024-10-05