Login / Signup

Reasoning About Dynamic Features in Specification Languages - A Modal View on Creation and Modification.

Rix GroenboomGerard R. Renardel de Lavalette
Published in: Semantics of Specification Languages (1993)
Keyphrases