Relational Program Derivation and Context−Free Language Recognition
Richard Bird and Oege de Moor
Details
| Book Title |
A Classical Mind: Essays in Honour of C.A.R.Hoare |
| Chapter |
2 |
| Editor |
A. W. Roscoe |
| Publisher |
Prentice−Hall |
| Year |
1994 |
Links
Related pages
|
People |
|
|
Activities |