Journal article
Preface Volume 44, Issue 3
Abstract
RelMiS 2001This issue contains the Proceedings of the First International Workshop on Relational Methods in Software (RelMiS 2001). The Workshop was held in Genova, Italy, on April 7 and 8, 2001, as a satellite event to ETAPS 2001.The rôle of the calculus of relations in algebra and logic is well understood and appreciated; relational methods should be part of the “toolbox” of everyone who uses mathematics, and relational methods can also be of …
Authors
Kahl W; Parnas DL; Schmidt G
Journal
Electronic Notes in Theoretical Computer Science, Vol. 44, No. 3, pp. 221–223
Publisher
Elsevier
Publication Date
May 2003
DOI
10.1016/s1571-0661(05)80010-6
ISSN
1571-0661