Microsoft and Nokia on Thursday formalized their partnership with a definitive agreement to develop Windows Phone 7-based Nokia devices. The two companies also said they have made "significant progress" in the development of such phones.