- LNCS252
- -Bjorner et al. (Eds.): VDM '87.•- A Formal Method at Work, Proceedings 1987, Springer-Verlag 1987
Acronyms. 2013.
Acronyms. 2013.
LNCS252 — Bjorner et al. (Eds.): VDM 87. [3] A Formal Method at Work, Proceedings 1987, Springer Verlag 1987 … Acronyms von A bis Z