Introduction to ASSISI | bf

Twenty20 presentation by Thomas Schmickl. With Audio.

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