From Program Construction to Abstraction Engineering

R. Kurki-Suonio; T. Mikkonen

From Program Construction to Abstraction Engineering

R. Kurki-Suonio, T. Mikkonen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

Translated title of the contribution	From Program Construction to Abstraction Engineering
Original language	English
Title of host publication	Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China
Editors	F. Yulin
Place of Publication	Beijing, China
Publisher	Publishing House of Electronic Industry, International Federation for Information Processing
Pages	861-868
Publication status	Published - 2000
Publication type	A4 Article in conference proceedings

Publication forum classification

No publication forum level

Cite this

@inproceedings{8c7871fb314e4bb09f208e5a2837feec,

title = "From Program Construction to Abstraction Engineering",

author = "R. Kurki-Suonio and T. Mikkonen",

note = "ISBN 3-901882-04-9, invited lecturer<br/>Contribution: organisation=ohj,FACT1=1",

year = "2000",

language = "English",

pages = "861--868",

editor = "F. Yulin",

booktitle = "Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China",

publisher = "Publishing House of Electronic Industry, International Federation for Information Processing",

}

From Program Construction to Abstraction Engineering. / Kurki-Suonio, R.; Mikkonen, T.
Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China. ed. / F. Yulin. Beijing, China: Publishing House of Electronic Industry, International Federation for Information Processing, 2000. p. 861-868.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Scientific › peer-review

TY - GEN

T1 - From Program Construction to Abstraction Engineering

AU - Kurki-Suonio, R.

AU - Mikkonen, T.

N1 - ISBN 3-901882-04-9, invited lecturer<br/>Contribution: organisation=ohj,FACT1=1

PY - 2000

Y1 - 2000

M3 - Conference contribution

SP - 861

EP - 868

BT - Proceedings of Conference on Software: Theory and Practice, 16th World Computer Congress 2000, August 21-25, 2000, Beijing, China

A2 - Yulin, F.

PB - Publishing House of Electronic Industry, International Federation for Information Processing

CY - Beijing, China

ER -