Menu_Home Home   Menu_Latest Latest   Menu_Search Advanced Search   Menu_Browse_by_Year By Year   Menu_Browse_by_Division By Division
Screen decoration graphicsLogo

Interpolation in Practical Formal Development

Gabbay, D. M. and Bicarregui, J. and Dimitrakos, T. and Maibaum, T. S. E. (2001) Interpolation in Practical Formal Development. Logic Journal of the IGPL, 9 . pp. 231-244.

Full text not available from this repository.

Item Type:Article
ID Code:1031
Deposited By:Professor Dov M. Gabbay
Deposited On:09 Nov 2007 15:42
Last Modified:09 Nov 2007 15:42

Repository Staff Only: item control page