A calculus for schemas in Z
Stephen Brien and Andrew Martin
Details
| Journal |
J. Symbolic Computation |
| Number |
1 |
| Pages |
63–91 |
| Volume |
30 |
| Year |
2000 |
Links
Related pages
|
People |