Dr. David Navarre is lecturer in Computer Science at the UT1. He has been working since 1998 on formal specification of Interactive Critical Systems
-
Université Toulouse 1 Capitole - Laboratoire IRIT - Equipe ICS
- Toulouse - France
- https://www.irit.fr/recherches/ICS/people/navarre/index.html
Popular repositories Loading
-
-
-
samples
samples PublicForked from dotnet/samples
Sample code and snippets used in the .NET documentation
C#
-
-
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.


