共 10 条
[6]
PostHat and All That: Automating Abstract Interpretation[J] . A. Thakur,A. Lal,J. Lim,T. Reps.Electronic Notes in Theoretical Computer Science . 2015
[7]
LIBSVM[J] . Chih-Chung Chang,Chih-Jen Lin.ACM Transactions on Intelligent Systems and Technology (TIST) . 2011 (3)
[10]
VDM Verlag .2 Hulth A. VDM Verlag . 2008