Peter Olveczky

Latest

• Rooting Formal Methods within Higher Education Curricula for Computer Science and Software Engineering