. . . . . "PRISM model checker"@fr . "PRISM model checker"@fr . . . . . . . . . "8862"^^ . . . . . . . . . . . . . . . . . . . "Marta Zofia Kwiatkowska est une informaticienne th\u00E9oricienne de nationalit\u00E9 polonaise, aussi citoyenne britannique, travaillant au Royaune-Uni. Elle est professeur d'informatique au d\u00E9partement d'informatique de l'Universit\u00E9 d'Oxford, et Fellow du Trinity College."@fr . . . . "13827242"^^ . . "Fellow of the Royal Society"@fr . . "PRISM"@fr . . . . . "Marta Kwiatkowska"@en . . . . . . . . . . . "Marta Kwiatkowska"@fr . . . . . . . . . . . . . . . . . . . . . . "191015881"^^ . . . . . . . . . . . . "Fellow of the Royal Society"@fr . . . . . . "Marta Zofia Kwiatkowska est une informaticienne th\u00E9oricienne de nationalit\u00E9 polonaise, aussi citoyenne britannique, travaillant au Royaune-Uni. Elle est professeur d'informatique au d\u00E9partement d'informatique de l'Universit\u00E9 d'Oxford, et Fellow du Trinity College."@fr . . . . . . . . "Fellow of the Royal Society"@fr . . . . . . . . . . . . . . . .