Using RAISE - First Impressions from the LaCoS Applications.

D. L. Chalmers Bent Dandanell Jesper Gørtz Jan Storbank Pedersen Eld Zierau Using RAISE - First Impressions from the LaCoS Applications. 645-657 1991 conf/fm/1991-1 VDM Europe (1) db/conf/fm/vdme1991-1.html#ChalmersDGPZ91 http://dx.doi.org/10.1007/3-540-54834-3_39