共 7 条
[1]
[Anonymous], AD20020410 OMG
[2]
BORONAT A, 2004, J UNIVERSAL SCI APR
[3]
Diaconescu Razvan, 2000, ELECT NOTES THEORETI, V15
[5]
*OMG, FORMAL020403 OMG
[6]
*OMG, OMG20030601
[7]
FORMAL METHODS FOR LEGACY SYSTEMS
[J].
JOURNAL OF SOFTWARE MAINTENANCE-RESEARCH AND PRACTICE,
1995, 7 (03)
:203-219