Formele verificatie van software: toepassen van wiskundige bewijssystemen op software.
Bent u de eigenaar van dit bedrijf? Claim gratis uw vermelding en beheer uw gegevens via places.nl