Wirtz, Guido:
SUSPENSE - a Specification Tool for Numerical Problems and Algorithms
.
In: xxx (Hrsg.) : Proc. of the 1th Int. Conf. on Industrial and Applied Mathematics (ICIAM)
(xxx, Paris, Juni/Juli 1987).
xxx : xxx, 1987.
Institution: Lehrstuhl für Praktische Informatik
|
|