Dr. David Navarre is lecturer in Computer Science at the UT1. He has been working since 1998 on formal specification of Interactive Critical Systems
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
