ACM Press / ACM Inc. / Programs Donald Sannella Laboratory / / /
Facility
Institute of Computer Science / Andrzej Tarlecki Institute of Informatics / University of Edinburgh E-mail / Warsaw University / /
IndustryTerm
actual software systems / software design / concurrent systems / satisfactory solutions / correct software / quality software / software engineers / real software / software specification / software development / software systems / /
Organization
dts@dcs.ed.ac.uk and Andrzej Tarlecki Institute of Informatics / Warsaw University / University of Edinburgh E-mail / Polish Academy of Sciences / Institute of Computer Science / /
ProgrammingLanguage
ML / Standard ML / Prolog / Extended ML / /
PublishedMedium
Theoretical Computer Science / Formal Aspects of Computing / Lecture Notes in Computer Science / /