Assertions in Programming: From Scientific Theory to Engineering Practice

书目详细资料
主要作者: Hoare, C
格式: Conference item
出版: Springer 2002