CoVeriTeam Service: Verification as a Service. - Beyer, Dirk; Kanav, Sudeep; Wachowitz, Henrik (ICSE: International Conference on Software Engineering, 2023)