  We prove an analog of Krein's resolvent formula expressing the resolvents of
self-adjoint extensions in terms of boundary conditions. Applications to
quantum graphs and systems with point interactions are discussed.
