Original language | English |
---|---|
Pages (from-to) | 231 - 244 |
Number of pages | 14 |
Journal | LOGIC JOURNAL- IGPL |
Volume | 9 |
Publication status | Published - 2001 |
Interpolation in Practical Formal Development
D Gabbay, J Bicarregui, T Maibaum
Research output: Contribution to journal › Article › peer-review