Programming Formalisms
Programming Formalisms 5-9 May 2025 Collaboration with NBIS The goal of this highly-interactive 5-day course is to be able to develop academic software that you can trust to be ‘good enough’. We assume you have written code ‘that (sometimes) just works’. The course follows a formal development process from start to finish, with a selection … Programming Formalisms