On the use of specifiation styles in the design of distributed systems

C.A. Vissers, G. Scollo, M.J. Sinderen, van, E. Brinksma

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationTapsoft'89 (Proceedings of the International Joint Conference on Theory and Practice of Software Development, Barcelona, Spain, March 13-17, 1989)
EditorsJ. Diaz, F. Orejas
Place of PublicationBerlin
PublisherSpringer
Pages60
Number of pages1
Volume2
ISBN (Print)3-540-50940-2
DOIs
Publication statusPublished - 1989
Externally publishedYes

Publication series

NameLecture Notes in Computer Science
Volume352
ISSN (Print)0302-9743

Cite this