Tilbage til artikeldetaljer Formalizations in Systems Development Download Download PDF