Helmer André Friis

Magne Haveraaen, Helmer André Friis, and Tor Arne Johansen. Formal Software Engineering for Computational Modelling. Nordic Journal of Computing, 6(3):241-270, Fall 1999. Abstract, References, etc.