Retrenchment: An Engineering Variation on Refinement

Richard Banach; Michael Poppleton; Didier Bert

Retrenchment: An Engineering Variation on Refinement

Richard Banach, Michael Poppleton, Didier Bert (Editor)

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

Original language	English
Title of host publication	B
Editors	Didier Bert
Publisher	Springer Nature
Pages	129-147
Number of pages	19
Volume	1393
ISBN (Print)	3-540-64405-9
Publication status	Published - 1998
Event	B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/b/b1998.html#BanachP98http://dblp.uni-trier.de/rec/bibtex/conf/b/BanachP98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/b/BanachP98

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/b/b1998.html#BanachP98http://dblp.uni-trier.de/rec/bibtex/conf/b/BanachP98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/b/BanachP98

Access to Document

Cite this

@inproceedings{cd76b2343a7c420e8c5a3c779f681305,

title = "Retrenchment: An Engineering Variation on Refinement",

author = "Richard Banach and Michael Poppleton and Didier Bert",

year = "1998",

language = "English",

isbn = "3-540-64405-9",

volume = "1393",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "129--147",

editor = "Didier Bert",

booktitle = "B",

address = "United States",

note = "B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/b/b1998.html#BanachP98http://dblp.uni-trier.de/rec/bibtex/conf/b/BanachP98.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/b/BanachP98",

}

Banach, R, Poppleton, M & Bert, D (ed.) 1998, Retrenchment: An Engineering Variation on Refinement. in D Bert (ed.), B. vol. 1393, Lecture Notes in Computer Science, Springer Nature, pp. 129-147, B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/b/b1998.html#BanachP98>

TY - GEN

T1 - Retrenchment: An Engineering Variation on Refinement

AU - Banach, Richard

AU - Poppleton, Michael

A2 - Bert, Didier

PY - 1998

Y1 - 1998

M3 - Conference contribution

SN - 3-540-64405-9

VL - 1393

T3 - Lecture Notes in Computer Science

SP - 129

EP - 147

BT - B

PB - Springer Nature

T2 - B'98: Recent Advances in the Development and Use of the B Method, Second International B Conference, Montpellier, France, April 22-24, 1998, Proceedings

Y2 - 1 January 1824

ER -