Assertions in Programming: From Scientific Theory to Engineering Practice

書目詳細資料
主要作者: Hoare, C
格式: Conference item
出版: Springer 2002