(English) 2 PhD and 1 Postdoc on Algorithmic Verification and Synthesis for Concurrency (Aarhus, Denmark)

Désolé, cet article est seulement disponible en English.