Towards a wide spectrum language to support program specification and program development

F. L. Bauer; M. Broy; R. Gnatz; W. Hesse; B. Krieg-Brückner; H. Partsch; P. Pepper; H. Wössner

doi:10.1145/954587.954588

Towards a wide spectrum language to support program specification and program development

F. L. Bauer, M. Broy, R. Gnatz, W. Hesse, B. Krieg-Brückner, H. Partsch, P. Pepper, H. Wössner

TUM Emeriti of Excellence

Technical University of Munich

Research output: Contribution to journal › Article › peer-review

26 Scopus citations

Original language	English
Pages (from-to)	15-24
Number of pages	10
Journal	ACM SIGPLAN Notices
Volume	13
Issue number	12
DOIs	https://doi.org/10.1145/954587.954588
State	Published - 12 Jan 1978

Access to Document

10.1145/954587.954588

Cite this

@article{caac7d72056d41cb8566e55f23b3c237,

title = "Towards a wide spectrum language to support program specification and program development",

author = "Bauer, {F. L.} and M. Broy and R. Gnatz and W. Hesse and B. Krieg-Br{\"u}ckner and H. Partsch and P. Pepper and H. W{\"o}ssner",

year = "1978",

month = jan,

day = "12",

doi = "10.1145/954587.954588",

language = "English",

volume = "13",

pages = "15--24",

journal = "ACM SIGPLAN Notices",

issn = "0362-1340",

publisher = "Association for Computing Machinery (ACM)",

number = "12",

}

TY - JOUR

T1 - Towards a wide spectrum language to support program specification and program development

AU - Bauer, F. L.

AU - Broy, M.

AU - Gnatz, R.

AU - Hesse, W.

AU - Krieg-Brückner, B.

AU - Partsch, H.

AU - Pepper, P.

AU - Wössner, H.

PY - 1978/1/12

Y1 - 1978/1/12

UR - http://www.scopus.com/inward/record.url?scp=84976700066&partnerID=8YFLogxK

U2 - 10.1145/954587.954588

DO - 10.1145/954587.954588

M3 - Article

AN - SCOPUS:84976700066

SN - 0362-1340

VL - 13

SP - 15

EP - 24

JO - ACM SIGPLAN Notices

JF - ACM SIGPLAN Notices

IS - 12

ER -

Towards a wide spectrum language to support program specification and program development

Access to Document

Other files and links

Cite this