Sciweavers

51 search results - page 2 / 11
» birthday 2004
Sort
View
BIRTHDAY
2004
Springer
15 years 3 months ago
Mathematical Proofs at a Crossroad?
Cristian Calude, Solomon Marcus
BIRTHDAY
2004
Springer
15 years 3 months ago
Towards the Verifying Compiler
C. A. R. Hoare