Declarative Programming, Sasbachwalden 1991
PHOENIX Seminar and Workshop on Declarative Programming, Sasbachwalden, Black Forest, Germany, 18–22 November 1991
- Print ISSN
- 1431-1682
Book titles in this series
-
-
Designing Correct Circuits
Workshop jointly organised by the Universities of Oxford and Glasgow, 26–28 September 1990, Oxford
-
First International Workshop on Larch
Proceedings of the First International Workshop on Larch, Dedham, Massachusetts, USA, 13–15 July 1992
-
Formal Methods for Trustworthy Computer Systems (FM89)
Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23–27 July 1989, Halifax, Canada
-
Interfaces to Database Systems (IDS94)
Proceedings of the Second International Workshop on Interfaces to Database Systems, Lancaster University, 13–15 July 1994
