| Original language | Undefined/Unknown |
|---|---|
| Place of Publication | Berlin |
| Publisher | Springer |
| Volume | 1140 |
| Edition | LNCS |
| Publication status | Published - 1996 |
Proceedings of the 8th International PLILP Symposium "Programming Languages: Implementations, Logics and Programs"
H. Kuchen, S.D. Swierstra
Research output: Book/Report › Book › Academic