【书名】：《Building high integrity applications with SPARK》
【作者】：John W. McCormick ; Peter C. Chapin
【出版社】：Cambridge University Press
【时间】：2015
【页数】：368
【ISBN】：1107040731
【SS码】：40865425