Experience report on developing the Front-end client unit under the control of formal methods.

Jan Friso Groote, Ammar Osaiweran, Jacco H. Wesselius

Browse the full SAC paper archive.