共 23 条
[1]
[Anonymous], 1997, Object-oriented software construction
[2]
[Anonymous], 2002, LICS
[3]
Banerjee A, 2008, LECT NOTES COMPUT SC, V5142, P387, DOI 10.1007/978-3-540-70592-5_17
[5]
Distefano D, 2008, OOPSLA 2008 NASHVILLE, CONFERENCE PROCEEDINGS, P213
[6]
Huisman M, 2000, LECT NOTES COMPUT SC, V1783, P284
[7]
Kassios IT, 2006, LECT NOTES COMPUT SC, V4085, P268
[8]
Leino KRM, 2005, LECT NOTES COMPUT SC, V3582, P26
[9]
MEYER B, 2006, ECMA367 ISO
[10]
*MOBIUS CONS, 2006, DEL 3 1 BYT COD LEV