by Arend Rensink (Author), Bart Jacobs (Author), Bart Jacobs (Author), Arend Rensink (Author), International Conference on Formal Metho (Author)
Format: Illustrated
Pages: 292
Edition: 2002
Publisher: Springer
Published: 31 Mar 2002
ISBN 10: 0792376838
ISBN 13: 9780792376835