This page in English
SucheA Calculus for Set-Based Program Development
G. Struth
erschienen 2003
5th International Conference on Formal Engineering Methods.
In J. S. Dong, J. Woodcock (eds): Formal Methods and Software Engineering, LNCS 2885.
pp. 541-559, 2003.
Springer-Verlag.
In J. S. Dong, J. Woodcock (eds): Formal Methods and Software Engineering, LNCS 2885.
pp. 541-559, 2003.
Springer-Verlag.