ผู้เขียน: Sriram K Rajamani

Gary T. Leavens & Peter O’Hearn: Verified Software: Theories, Tools, Experiments