Verification methods: Rigorous . . .

Cite this paper

@inproceedings{Rump2010VerificationMR, title={Verification methods: Rigorous . . .}, author={Siegfried M. Rump}, year={2010} }