Minimally and Maximally Abstract Retrenchments

Czeslaw Jeske; Richard Banach; Michael J Butler; Luigia Petre; Kaisa Sere

Minimally and Maximally Abstract Retrenchments

Czeslaw Jeske, Richard Banach, Michael J Butler (Editor), Luigia Petre (Editor), Kaisa Sere (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	IFM
Editors	Michael J Butler, Luigia Petre, Kaisa Sere
Publisher	Springer Nature
Pages	380-400
Number of pages	21
Volume	2335
ISBN (Print)	3-540-43703-7
Publication status	Published - 2002
Event	Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#JeskeB02http://dblp.uni-trier.de/rec/bibtex/conf/ifm/JeskeB02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifm/JeskeB02

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#JeskeB02http://dblp.uni-trier.de/rec/bibtex/conf/ifm/JeskeB02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifm/JeskeB02

Access to Document

Cite this

@inproceedings{1eba83ca6d4646ab9f287a643255ac54,

title = "Minimally and Maximally Abstract Retrenchments",

author = "Czeslaw Jeske and Richard Banach and Butler, {Michael J} and Luigia Petre and Kaisa Sere",

year = "2002",

language = "English",

isbn = "3-540-43703-7",

volume = "2335",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "380--400",

editor = "Butler, {Michael J} and Luigia Petre and Kaisa Sere",

booktitle = "IFM",

address = "United States",

note = "Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#JeskeB02http://dblp.uni-trier.de/rec/bibtex/conf/ifm/JeskeB02.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/ifm/JeskeB02",

}

Jeske, C, Banach, R, Butler, MJ (ed.), Petre, L (ed.) & Sere, K (ed.) 2002, Minimally and Maximally Abstract Retrenchments. in MJ Butler, L Petre & K Sere (eds), IFM. vol. 2335, Lecture Notes in Computer Science, Springer Nature, pp. 380-400, Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/ifm/ifm2002.html#JeskeB02>

TY - GEN

T1 - Minimally and Maximally Abstract Retrenchments

AU - Jeske, Czeslaw

AU - Banach, Richard

A2 - Butler, Michael J

A2 - Petre, Luigia

A2 - Sere, Kaisa

A2 - Butler, Michael J

A2 - Petre, Luigia

A2 - Sere, Kaisa

PY - 2002

Y1 - 2002

M3 - Conference contribution

SN - 3-540-43703-7

VL - 2335

T3 - Lecture Notes in Computer Science

SP - 380

EP - 400

BT - IFM

PB - Springer Nature

T2 - Integrated Formal Methods, Third International Conference, IFM 2002, Turku, Finland, May 15-18, 2002, Proceedings

Y2 - 1 January 1824

ER -