(English) PhD topic 2023–2024: Verification for modular distributed programming

Désolé, cet article est seulement disponible en Anglais Américain.

Les commentaires sont clos.