Acronyms. 2013.
LNCS1287 — T Kropf (Ed.): Formal Hardware Verification. Springer Verlag 1997 … Acronyms von A bis Z