Skip to content

Logical Support for Reasoning about the Specification and the Elaboration of Requirements.

Eric Dubois

VenueBDS
Year1988
ProceedingsDS-3

Browse the full DS paper archive.