ProB2-UI: A Java-Based User Interface for ProB.

Jens Bendisposto, David Geleus, Yumiko Jansing, Michael Leuschel, Antonia Ptz, Fabian Vu, Michelle Werth

Browse the full FMICS paper archive.