Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
“... students, academics and practitioners alike that formal methods are truly pragmatic; – failing to overcome...”