@book{ Solr-215425, title = {Integrated Formal Methods [E-Book] : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings}, series = {Lecture notes in computer science ;}, author = {Boiten, Eerke.}, editor = {Smith, Graeme.}, editor = {Derrick, John.}, editor = {Boiten, Eerke.}, address = {Berlin, Heidelberg}, publisher = {Springer Berlin Heidelberg}, year = {2004}, note = {englisch}, url = {http://dx.doi.org/10.1007/b96106} }