• Gerard J. Holzmann (auth.) Tiziana Margaria Bernhard Steffen (eds.)

10 - 12Hours to read