Retrenchment Tutorial

Richard Banach

Retrenchment Tutorial

Research output: Contribution to conference › Other

Original language	English
Publication status	Published - 1 Nov 2005
Event	Seventh International Conference on Formal Methods and Software Engineering (ICFM 2005), 1-4 November 2006, Manchester, UK - Manchester Duration: 1 Nov 2005 → 4 Nov 2005

Conference

Conference	Seventh International Conference on Formal Methods and Software Engineering (ICFM 2005), 1-4 November 2006, Manchester, UK
City	Manchester
Period	1/11/05 → 4/11/05

Cite this

@conference{5a7f61fb5e3d463a8da9a4a4d1630818,

title = "Retrenchment Tutorial",

author = "Richard Banach",

year = "2005",

month = nov,

day = "1",

language = "English",

note = "Seventh International Conference on Formal Methods and Software Engineering (ICFM 2005), 1-4 November 2006, Manchester, UK ; Conference date: 01-11-2005 Through 04-11-2005",

}