Empirical Software Engineering and Verification - Martin Nordio - E-bok | Bokus