VDM'91 Formal Software Development Methods

Author

S. Prehn, W. J. Toetenel

Publisher

Springer

Subject

Computer Science

Year

1991

Vol/Edition

551

ISBN

9783540464495