An improvement of the Van Wee bound for binary linear covering codes | IEEE Journals & Magazine | IEEE Xplore