共 30 条
[1]
Abrial Jean-Raymond, 1996, The B-Book - Assigning Programs to Meanings
[2]
Plaintext Recovery Attacks Against SSH
[J].
PROCEEDINGS OF THE 2009 30TH IEEE SYMPOSIUM ON SECURITY AND PRIVACY,
2009,
:16-26
[3]
[Anonymous], 1996, PHRACK
[4]
[Anonymous], 1991, Commentary on Standard ML
[5]
[Anonymous], 2010, THESIS EDITE
[6]
[Anonymous], 2004, Monographs in Computer Science
[7]
[Anonymous], 15408 ISOIEC
[8]
[Anonymous], COQ PROOF ASSISTANT
[9]
[Anonymous], 61508 IEC
[10]
[Anonymous], DAILY WTF CURIOUS PE