Deductive Software Verification – The KeY Book - Ohjelmointi- ja skriptauskielet: yleinen - nidottu(9783319498119)