General

Profile

Victor Kuliamin

Issues

Projects

Activity

03/18/2016

01:40 PM Summer Revision b48bd3e3: Fixed debug tracing in contract executor without postcondition

10/02/2015

02:17 PM Материалы конференций SAI 2015 Proceedings.pdf
Полное содержание докладов
02:17 PM Материалы конференций Table of Contents.pdf
Список докладов

11/17/2014

03:00 PM Summer Revision beb2bc54: 2014 update
02:00 PM Summer Revision 7a747c30: 2014 update
01:59 PM Summer Revision 954c6c65: 2014 update
01:59 PM Summer Revision 9a178538: 2014 update
01:58 PM Summer Revision f0643d90: 2014 update
01:58 PM Summer Revision 5d283f3a: 2014 update
01:57 PM Summer Revision 84a6c855: 2014 update

Also available in: Atom