DB2 vs Oracle
Chair of Software Engineering Software Verification Bertrand Meyer Carlo A. Furia Sebastian Nanz ETH Zurich, Fall 2012 Chair of Software Engineering.