Books by Ada-Europe International Conference on Reliable Software Technologies (13th 2008 Venice, Italy) on BookTides.