Invited Papers.- Types.- Program Analysis.- Semantics.- Language Design and Implementation.- Concurrency.- Verification.- Logic and Automata.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.