Chr. Gram

How to make formal methods useful

Gregory D. Abowd, Chr. Gram, G. Abowd, 1995, EHCI.

Computer science: A challenge to mathematics, or vice‐versa?

Chr. Gram, C. Gram, 1986 .

A software engineering view of user interface design

Chr. Gram, 1995, EHCI.

Mini-workshop: how to make formal methods useful

Chr. Gram, G. Abowd, 1995 .

A simple algorithm for building the 3-D convex hull

Chr. Gram, Gunner Helweg Johansen, 1983, BIT Comput. Sci. Sect..