> Verlagsreihe
-
5:
Non-functional requirements in software engineering by Lawrence Chung
Boston, Mass. [u.a.]: Kluwer Academic, 2000
-
1:
Formal specification techniques for engineering modular C programs by Tan Yang Meng
Boston, Mass. [u.a.]: Kluwer Academic Publ., 1996