Formal foundations for software engineering methods /

Autor Hußmann, Heinrich, 1959-
Vydáno 1997

Fundamental approaches to software engineering : 4th International Conference, FASE 2001, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 : Genova, Italy, April 2-6, 2001 : proceedings /

Vydáno 2001