共 11 条
[1]
Ball T., 2006, Operating Systems Review, V40, P73, DOI 10.1145/1218063.1217943
[2]
Berdine J, 2006, LECT NOTES COMPUT SC, V4111, P115
[5]
Calcagno C, 2011, LECT NOTES COMPUT SC, V6617, P459, DOI 10.1007/978-3-642-20398-5_33
[6]
Constine J., Facebook acquires assets of uk mobile bugchecking software developer monoidics
[7]
Cousot P, 2005, LECT NOTES COMPUT SC, V3444, P21
[8]
Cousot P, 2013, LECT NOTES COMPUT SC, V7737, P128
[10]
O'Hearn P., 2001, Computer Science Logic. 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL. Proceedings (Lecture Notes in Computer Science Vol.2142), P1