Basic material on Klaim/X-Klaim

A set of slides presenting Klaim

For the full list of papers on KLAIM/X-Klaim/OpenKlaim/Types for Klaim/Object Oriented Klaim ... click here.