Victor Kuliamin

  • Email:
  • Registered on: 12/18/2009
  • Last connection: 03/17/2017

Projects

Activity

Reported issues: 0

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