Return to Article Details Principles for the Formalization of Software Engineering Download Download PDF