RIGOROUS SOFTWARE DEVELOPMENT: AN INTRODUCTION TO PROGRAM VERIFICATION - ALMEIDA AND ETC; NO (SPRINGER, 2011)
ALLIED