Python obtiene la marca de tiempo en el archivo en formato mm / dd / aaaa

Estoy tratando de obtener la marca de fecha en el archivo en formato mm / dd / aaaa

time.ctime(os.path.getmtime(file))

me da un sello de tiempo detalladoFri Jun 07 16:54:31 2013

¿Cómo puedo mostrar la salida como06/07/2013