共 18 条
- [1] [Anonymous], COQ PROOF ASS REF MA
- [2] Bertot Y., 2004, TEXT THEORET COMP S
- [3] Capretta V, 2007, FMSE'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON FORMAL METHODS IN SECURITY ENGINEERING, P22
- [4] CHOMICKI J, 2000, 7 INT C PRINC KNOWL
- [5] Dougherty DJ, 2007, LECT NOTES COMPUT SC, V4734, P578
- [6] Fisler K, 2005, PROC INT CONF SOFTW, P196
- [7] Graham H., 2008, International Journal on Software Tools for Technology Transfer (STTT), Special issue on selected papers from workshop on Web Quality, Verification and Validation, V10, P473
- [8] Huonder F., 2010, THESIS
- [9] MANKAI M., 2005, NOTERE, P85
- [10] OASIS, 2004, EXTENSIBLE ACC CONTR