2nd CfP: JAL Special Issue on Automated Specification and Verification of Web Systems
by Temur Kutsia 11 Jan '11
by Temur Kutsia 11 Jan '11
11 Jan '11
1
0
1
0
1
0
1
0
1
0
CfP: 4th Workshop on Approaches and Applications of Inductive Programming (AAIP 2011)
by Emanuel Kitzelmann 05 Jan '11
by Emanuel Kitzelmann 05 Jan '11
05 Jan '11
1
0
1
0
04 Jan '11
1
0
1
0
1
1