Trends in the certification of reference
โ
AdriaanM.H. van der Veen
๐
Article
๐
2004
๐
Springer-Verlag
๐
English
โ 185 KB