Search alternatives:
europe » european
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
“... partial support from Formal Methods Europe and IFIP TC 1 on Foundations of Computer Science. The scope...”