Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                

1st ICTAC 2004: Guiyang, China

Refine list

showing all ?? records

Invited Speakers

Concurrent and Distributed Systems

Model Integration and Theory Unification

Program Reasoning and Testing

Verification

Theories of Programming and Programming Languages

Real-Time and Co-design

Automata Theory and Logics

Tutorials