We introduce the notion of submanifolds with boundary with intrinsic $C^{1}$ regularity in the setting of sub-Riemannian Heisenberg groups. We present a Stokes' Theorem for such submanifolds involving the integration of Heisenberg differential foms introduced by Rumin. This is a joint work with M. Di Marco, A. Julia and S. Nicolussi Golo.