A Calculus for Schemas in Z
S. M. Brien and A. P. Martin
Details
| Journal |
J. Symbolic Computation |
| Number |
1 |
| Pages |
63–91 |
| Volume |
30 |
| Year |
2000 |
Links
Related pages
|
People |