Let $\mathcal{A}$ and $\mathcal{B}$ be $C^*$-algebras such that $\mathcal{B}$ is seminuclear (i.e. for every representation $\pi\colon \mathcal{B}\to \mathcal{B}(H)$ the algebra $\pi(\mathcal{B})^{\prime \prime}$ is injective). Do you know some reference for the fact that $$(\mathcal{A}\otimes _{min} \mathcal{B})^{\ast \ast}= \mathcal{A}^{\ast \ast}\bar \otimes \mathcal{B}^{\ast \ast}$$
as von Neumann algebras? The $\bar \otimes$ denotes the normal spatial product.