7th ICTAC 2010: Natal, Rio Grande do Norte, Brazil

Invited Papers and Abstract

Grammars

Semantics

Modelling

Special Track: Formal Aspects of Software Testing and Grand Challenge in Verified Software

Logics

Algorithms and Types

a service of Schloss Dagstuhl - Leibniz Center for Informatics