共 25 条
[1]
QUERY-BY-PICTORIAL-EXAMPLE
[J].
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,
1980, 6 (06)
:519-524
[5]
CHANG SK, 1992, IEEE T KNOWLEDGE OCT
[6]
CHANG SK, 1992, J VISUAL LANGUAGES C, V3
[7]
CHANG SK, 1991, PRENTICE HALL ENGLEW
[9]
AUTOMATIC VERIFICATION OF FINITE-STATE CONCURRENT SYSTEMS USING TEMPORAL LOGIC SPECIFICATIONS
[J].
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS,
1986, 8 (02)
:244-263
[10]
COOPER L, 1984, SCI AM DEC