7. 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

maintained by Schloss Dagstuhl LZI, founded at University of Trier