Universität Stuttgart

Case and referential context
SFB 732 Incremental specification in context, Project C2