Computer science logic : 19th international workshop, CSL 2005, 14th annual conference of the EACSL Oxford, UK, August 22-25, 2005: proceedings / ed. L. Ong, 2005 r=on-line. - Текст : электронный.
Foundations of software science and computational structures : 13th international conference, FOSSACS 2010, held as part of the joint European conferences on theory and practice of software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010: proceedings / SpringerLink (Online service), 2010 r=on-line. - Текст : электронный.