The notion of bitopological full normality is introduced. Along with other results, we prove a bitopological version of A. H. Stone's theorem on paracompactness: A Hausdorff topological space is paracompact if and only if it is fully normal.