- LNCS873
- -M. Naftalin/T. Denvir/M. Bertram (Eds.): FME '94: Industrial Benefit of Formal Methods. Proceedings 1994, Springer-Verlag 1994
Acronyms. 2013.
LNCS873
Schlagen Sie auch in anderen Wörterbüchern nach:
LNCS873 — M. Naftalin/T. Denvir/M. Bertram (Eds.): FME 94: Industrial Benefit of Formal Methods. Proceedings 1994, Springer Verlag 1994 … Acronyms von A bis Z
