Formal Systems Specification

Author

Manfred Broy, Stephan Merz, Katharina Spies

Publisher

Springer

Subject

Computer Science

Year

1996

Vol/Edition

1169

ISBN

9783540495734