A language for configuring multi-level specifications

Gillian Hill, Steven Vickers

Research output: Contribution to conference (unpublished)Paper

1 Citation (Scopus)
Original languageEnglish
Pages196-210
Number of pages15
Publication statusPublished - 1 Jan 2004
EventAlgebraic Methodology and Software Technology, 10th International Conference (AMAST 2004) -
Duration: 1 Jan 2004 → …

Conference

ConferenceAlgebraic Methodology and Software Technology, 10th International Conference (AMAST 2004)
Period1/01/04 → …

Cite this