Aarhus University logo / Aarhus Universitets logo
English
Tilbage til søgning
Formal verification , Design og analyse af algoritmer og datastrukturer, Formal methods , Softwarespecifikation og -verifikation
