Humord
type: ConceptScheme

Software development
type: Topic
type: Concept
narrower: Program verification
preferred label: Programutvikling @nn

Program verification
type: Topic
type: Concept
created: 2024-03-11T00:00:00
modified: 2024-03-11T11:42:04
alternative label: Formal verification
alternative label: Formell verifikasjon @nn
broader: Software development
editorial note: Lukket bemerkning: ubo24 @nb
in scheme: Humord
preferred label: Programverifikasjon @nn

Topic
type: Class
label: Innholdsbeskrivende emne @nb