Browse by Person (creator, editor, contributor, etc.)
Number of items: 1. 1993
|
Dent, A. and Hanna, Keith
(1993)
Reasoning about array structures using a dependently typed logic.
In: Agnew, D. and Claesen, L. and Camposano, R., eds.
IFIP transactions a-computer science and technology.
Elsevier Science Publ B V
pp. 207-224.
ISBN 0-444-81641-0.
The full text of this publication is not available from this repository.
|
|
This list was generated on Wed May 22 05:26:42 2013 BST. |
