{"searchText":"","platformLangISOCode":"","countryLabel":"university","schoolTypeLabel":"doctorat-informatique","scholarGroupLabel":"formal-methods","subjectLabel":"introduction-to-model-checking","limit":22}