AMAST’91 Banquet Talk
- Yuri Gurevich
Bulletin of the European Association for Theoretical Computer Science |
This humorous article incorporates a bit of serious criticism of algebraic and logic approaches to software problems.
Bulletin of the European Association for Theoretical Computer Science |
This humorous article incorporates a bit of serious criticism of algebraic and logic approaches to software problems.