How many movies have Gabriel Miranda and Juan Antonio Bardem collaborated on?

They have worked on 1 movie together! Their first movie together was Merry Christmas (1954) and was their highest rated movie together. They have not worked together since Merry Christmas (1954).