Identifiant pérenne de la notice : 270497064
Notice de type
Personne
Conception d'applications cloud autoadaptatives correct-by-construction à l'aide de
méthodes formelles / Trinh Le Khanh ; sous la direction de Philippe Merle et l'encadrement
de Simon Bliudze [thèse]