Introduction to Diversify

Twenty20 presentation by Benoit Baudry. With Audio.

From the FoCAS Inter-project meeting, Barcelona, June 2013.