FormulaBuilder: a tool for graph-based modelling and generation of formulae.

Sven Jrges, Tiziana Margaria, Bernhard Steffen

Browse the full ICSE paper archive.