author = { Butler, Michael },

title = { Rigorous development of complex fault-tolerant systems },

publisher = {Springer},

isbn = {3540482652},

isbn = {9783540482659},

keywords = { Fault-tolerant computing Congresses , Computer software Reliability Congresses , Electronic digital computers Reliability Congresses , Formal methods (Computer science) Congresses , Konferenzschrift , Aufsatzsammlung , Softwareentwicklung , Softwaresystem , Fehlertoleranz },

year = {2006},

abstract = {Twelve of the papers are reworked from the workshop},

booktitle = {Lecture notes in computer science ; 4157},

booktitle = {State-of-the-art survey},

address = { Berlin },

url = { http://slubdd.de/katalog?TN_libero_mab2 }