Skip to content

A Tool for Generating Specifications from a Family of Formal Requirements.

Jan Bredereke

VenueCFORTE
Year2001
ProceedingsFORTE

Browse the full FORTE paper archive.