共 36 条
[31]
PRECHELT L, 2000, D76128 U KARLSR FAK
[32]
Rogers P., 1988, Ada Letters, V8, P92
[33]
SEBESTA RW, 2005, CONCEPTS PROGRAMMING
[34]
Stephenson AG, 1999, MARS CLIMATE ORBITER
[35]
UMRIGAR ZD, 1994, SIGPLAN NOTICES, V29, P135, DOI 10.1145/185009.185036
[36]
VAUGHAN R, 2003, INTELLIGENT ROBOTS S, V3, P2421