Formal software engineering for computational modelling (1999)

by M Haveraaen, H A Friis, T A Johansen
Venue:Nordic Journal of Computing