Retrenchment Tutorial

Richard Banach

Retrenchment Tutorial

Research output: Contribution to conference › Other

Original language	English
Publication status	Published - 10 Sept 2007
Event	Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, UK - London Duration: 10 Sept 2007 → 14 Sept 2007

Conference

Conference	Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, UK
City	London
Period	10/09/07 → 14/09/07

Cite this

@conference{a63362e49b7244b6a181a668aed8dcfa,

title = "Retrenchment Tutorial",

author = "Richard Banach",

year = "2007",

month = sep,

day = "10",

language = "English",

note = "Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 10-14 September 2007, London, UK ; Conference date: 10-09-2007 Through 14-09-2007",

}