著者:	19970319d1992 kemy0enga0121 ba
次要责任者:	International Workshop on Computer aided Verification
索书号:	1