Cover Image
Read Now

1
Published 1996
Springer Berlin Heidelberg
“... for software and hardware systems; a certain emphasis is placed on verification tools and the algorithms...”