FME '93: Industrial-Strength Formal Methods

Author

James C. P. Woodcock, Peter G. Larsen

Publisher

Springer

Subject

Computer Science

Year

1993

Vol/Edition

670

ISBN

9783540476238