Software Engineering within Informatics concentrated on the theme of quality software through formal specification and verification; most of the research and some of the support activities were related to that theme. The activities focus on Theorem Proving, Equational Reasoning, and Formal Specification.
See also: