Téo’s first paper as first author was accepted at FASE. Téo will present his work at FASE on Tuesday April 9, in Luxembourg. Congrats Téo!
Languages, Models and Verification
Téo’s first paper as first author was accepted at FASE. Téo will present his work at FASE on Tuesday April 9, in Luxembourg. Congrats Téo!