https://conf.researchr.org/room/Formalise-2021/icse-2021-venue-colocated-icssp%5Esicgse-room
ICSSP/ICGSE Room - FormaliSE 2021
Welcome to the website of the FormaliSE 2021 conference. The software industry has a long-standing and well-earned reputation for failing to deliver...
icsspicgseroomformalise