VDM '91 Formal Software Development Methods

Author

Søren Prehn, Hans Toetenel

Publisher

Springer

Subject

Computer Science

Year

1991

Vol/Edition

552

ISBN

9783540464563