Definition of Sighireanu. Meaning of Sighireanu. Synonyms of Sighireanu

Here you will find one or more explanations in English for the word Sighireanu. Also in the bottom left of the page several parts of wikipedia pages related to the word Sighireanu and, of course, Sighireanu synonyms and on the right images related to the word Sighireanu.

Definition of Sighireanu

No result for Sighireanu. Showing similar results...

Meaning of Sighireanu from wikipedia

- Mihaela Sighireanu is a French and Romanian computer scientist specializing in model checking and software verification. She works as a professor at Paris-Saclay...
- Klenke (2020), p. 494-495 Bouajjani, A.; Drǎgoi, C.; Enea, C.; Rezine, A.; Sighireanu, M. (2010). "Invariant Synthesis for Programs Mani****ting Lists with...
- CADP:Construction and Analysis of Distributed Processes. 2019. Mateescu, Radu; Sighireanu, Mihaela (2003). "Efficient On-the-Fly Model-Checking for Regular Alternation-Free...
- Hubert; Hartmanns, Arnd; ****sman, Marieke; Kordon, Fabrice; Nagele, Julian; Sighireanu, Mihaela; Steffen, Bernhard; Suda, Martin; Sutcliffe, Geoff; Weber, Tjark;...
- International Publishing, October 2017, doi 10.1007/978-3-319-68270-9_1 Mihaela Sighireanu (with updates by Alban Catry, David Champelovier, Hubert Garavel, Frédéric...