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

Refine list

showing all ?? records

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