The graph below shows the total number of publications each year in Formal Methods in Programming Languages and Verification. References [1] Certified randomness using a trapped-ion quantum processor.

N. Wassan, Reactive Tabu Adaptive Memory Programming Search for the Vehicle Routing Problem with Backhauls, The Journal of the Operational Research Society, Vol. 58, No. 12 (Dec., 2007), pp. 1630-1641 ...