Monday 4 April 2022
During the ETAPS '22 conference in Munich, Bob Rubbens and Philip Tasche won the 2nd place at the Verify This competition!
During the ETAPS '22 conference in Munich, Bob Rubbens and Philip Tasche won the 2nd place at the Verify This competition!