AFSEC

TACAS’07 (du 24 mars au 1 avril 2007)

13th September 2006

THE Thirteenth International Conference on
TOOLS AND ALGORITHMS FOR THE CONSTRUCTION
AND ANALYSIS OF SYSTEMS (TACAS’07)
24 March – 1 April, 2007, Braga, Portugal : TACAS’07

Soumission des articles : 6 octobre 2006
Notification de l’acceptation : 8 décembre 2006

Leave a Reply

You must be logged in to post a comment.