Oh, I'm 100% sure.
Clue #1:
That Doomsday is by Tom Grummett. That Venom isn't.
Clue #2:
That bar code box illustration says "30th anniversary: The Amazing Spider-Man 1962-1992". Even if we wanted to believe that Doomsday fought Spider-Man in a crossover
before he killed Superman in 1993, back in 1992 he was still looking like this:
Clue #3:
Doomsday/Venom is not listed here:
http://dc.wikia.com/wiki/DC_Marvel_Crossovers