2nd ICTAC 2005: Hanoi, Vietnam

Refine list

showing all ?? records

Invited Speakers

Formal Languages

Computer Science Logics

Program Construction

Real-Time Systems

Concurrency and Refinement

Software Security

Quantitative Logics

Object-Orientation and Component Systems

Model-Checking and Algorithms

Applied Logics and Computing Theory

Tutorials

a service of  Schloss Dagstuhl - Leibniz Center for Informatics