Anca Muscholl

Anca Muscholl (born 1967) is a Romanian-German mathematical logician and theoretical computer scientist known for her work on formal verification, model checking, and two-variable logic. She is a researcher at the (LaBRI), a professor at the University of Bordeaux, and a former junior member of the Institut Universitaire de France. Provided by Wikipedia
Showing 1 - 1 results of 1 for search 'Muscholl, Anca', query time: 0.01s Refine Results
  1. 1
    Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings /
    Published in Springer eBooks (2014)
    Other Authors: “...Muscholl, Anca...”
    Get full text
    Перейти в каталог НБ ТГУ
    eBook
Search Tools: Get RSS Feed