|
|||||
|
|
Interpolation in practical formal development |
|
| Authors: | Bicarregui, J Dimitrakos, T Gabbay, D Maibaum, T |
| Affiliation: | A1 Information Sciences and Engineering Group, GLCR Rutherford Appleton Laboratory, Oxford, OX11 0QX, UK E-mail: t.dimitrakos@rl.ac.uk A2 Department of Computer Science, King's College, London, WC2R 2LS, UK |
| Abstract: | |
| Keywords: | applications logics |
| 本文献已被 Oxford 等数据库收录！ | |