ATVA’06 (du 23 au 26 octobre 2006)
15th May 2006
Fourth International Symposium on Automated Technology for Verification and Analysis,
Beijing, China, 23-26 October 2006: ATVA 2006.
Soumission des articles : 27 mai 2006
Notification de l’acceptation : 10 juillet 2006