A Platform for Requirement Based Formal Specification.

Uwe Pro, Erik Markert, Jan Langer, Andreas Richter, Chris Drechsler, Ulrich Heinkel

Browse the full FDL paper archive.