General

Profile

Sergey Zelenov

Issues

Projects

Activity

05/18/2010

05:12 PM SemaTESK Revision 24: Initial revision
02:15 PM SemaTESK Revision 23: SemaTESK configuration for testing Java semantics
02:13 PM SemaTESK Revision 22: Memory for compilation increased

03/29/2010

01:03 PM SemaTESK Arkhipova-Zelenov.SemaTESK.ISPRAN-09.pdf
Статья на русском языке
01:02 PM SemaTESK Arkhipova-Zelenov.SemaTESK.ISoLA-08.pdf
12:49 PM SemaTESK PhDThesis_Arkhipova-final.pdf

01/12/2010

04:53 PM SynTESK Revision 807: Version updated (bug fixed)
04:52 PM SynTESK Revision 806: Bug fixed

02/13/2008

01:28 PM SynTESK Revision 805: Initial revision
01:14 PM SynTESK Revision 804: Copyright message added

Also available in: Atom