000
00226nam a2200097Ia 4500
008
240711s9999||||xx |||||||||||||| ||und||
020
_a
9780262546232
100
_a
K. Rustan M. Leino
245
0
_a
Program Proofs
260
_b
MIT
999
_c
15808
_d
15808