- LNCS186
- -H. Ehrig/C. Floyd/M. Nivat/J. Thatcher (Eds.): Formal Methods and Software Development, Proceedings 1985, Volume 2: Colloquium on Software Engineering (CSE), Springer-Verlag 1985
Acronyms. 2013.
Acronyms. 2013.
LNCS186 — H. Ehrig/C. Floyd/M. Nivat/J. Thatcher (Eds.): Formal Methods and Software Development, Proceedings 1985, Volume 2: Colloquium on Software Engineering (CSE), Springer Verlag 1985 … Acronyms von A bis Z