WeVerify: Wider and Enhanced Verification for You - Project Overview and Tool Demonstration. - Zlatina Marinova; Denis Teyssou; Nikos Sarris; Jochen Spangenberg; Symeon Papadopoulos; Alexandre Alaphilippe; Kalina Bontcheva (TTO, 2019)

Weverify: Wider and Enhanced Verification for You Project Overview and Tools. - Zlatina Marinova; Jochen Spangenberg; Denis Teyssou; Symeon Papadopoulos; Nikos Sarris; Alexandre Alaphilippe; Kalina Bontcheva (ICME Workshops, 2020)