Books by Ada-Europe International Conference on Reliable Software Technologies (12th 2007 Geneva, Switzerland) on BookTides.