Humord
Programutvikling
Software development
Formal verification
Formell verifikasjon
Lukket bemerkning: ubo24
Program verification
Programverifikasjon
Innholdsbeskrivende emne
Topic