作者: Groves, L.; Reeves, S.; Groves, Lindsay 副标题: Proceedings of the Fmp '97, Wellington, New Zealand, 9-11 July 1997, Incorporating of the 6th Australian Refinement Workshop and the 3rd New Zealand Formal Program Development Colloquium 页数: 328 isbn: 981308331X 书名: Formal Methods - Pacific '97
还没人写过短评呢