Rewriting logic and its applications : 8th international workshop, WRLA 2010, held as a satellite event of ETAPS 2010, Paphos, Cyprus, March 20-21, 2010: revised selected papers / ed. P. C. Ölveczky, 2010 r=on-line. - Текст : электронный.
Приложение
для Android