Abstract Software Specifications

Author

Dines Bjøorner

Publisher

Springer

Subject

Computer Science

Year

1980

Vol/Edition

86

ISBN

9783540381365