par Vansummeren, Stijn
Référence ACM transactions on programming languages and systems, 28, 3, page (389-428)
Publication Publié, 2006
Référence ACM transactions on programming languages and systems, 28, 3, page (389-428)
Publication Publié, 2006
Article révisé par les pairs
Titre: |
|
Auteur: | Vansummeren, Stijn |
Informations sur la publication: | ACM transactions on programming languages and systems, 28, 3, page (389-428) |
Statut de publication: | Publié, 2006 |
Sujet CREF: | Informatique mathématique |
Informatique générale | |
Langue: | Anglais |
Identificateurs: | urn:issn:0164-0925 |