KIT-TVA/WebCorCTypeScript
Tool support for Correctness-by-Construction developed at Karlsruhe Institute of Technology
(7 stars) (4 forks) (1 issue indexée) (1 good first issue ouverte)
Dépôts
Newsletter quotidienne
Recevez de nouvelles issues Easy par e-mail.
Abonnez-vous à GoodFirstIssue Daily pour recevoir de nouvelles issues Easy prêtes pour un travail open source adapté aux débutants.