Nederlands
Contact
Sitemap
Search
OrganisationEEMCS EPrints Service
 |
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
2001
Glaser, H. and Hartel, P.H. and Leuschel, M. and Martin, A.
(2001)
Declarative Languages in Education.
In:
Encyclopaedia of Microcomputers.
Marcel Dekker Inc, New York, pp. 79-102.
ISBN 0-8247-2726-6
1999
Hartel, P.H. and Butler, M.J. and Currie, A. and Henderson, P. and Leuschel, M. and Martin, A. and Smith, A. and Ultes-Nitsche, U. and Walters, B.
(1999)
Questions and Answers About Ten Formal Methods.
In: 4th Int. Workshop on Formal Methods for Industrial Critical Systems, Trento, Italy.
pp. 179-203.
ERCIM/CNR.
ISBN 88-7958-009-4
|
|
|
||||||||||||
|
|
|
||||||||||||||
|
|
|
|
|
||||||||||||
|
|
|
||||||||||||||