1
by Drechsler, Rolf
Published 2000
Springer US
... verification (in industry or academia) to keep informed about recent developments in this area...