Aller au contenu
VuFind
English
Deutsch
Español
Français
Italiano
日本語
Nederlands
Português
Português (Brasil)
中文(简体)
中文（繁體）
Türkçe
עברית
Gaeilge
Cymraeg
Ελληνικά
Català
Euskara
Русский
Čeština
Suomi
Svenska
polski
Dansk
slovenščina
اللغة العربية
বাংলা
Galego
Tiếng Việt
Hrvatski
हिंदी
Հայերէն
Українська
Sámegiella
Монгол
Langue
Tous les champs
Titre
Auteur
Sujet
Cote
ISBN/ISSN
Tag
Rechercher
Recherche avancée
Abstractions from Tests
Citer
Envoyer par SMS
Envoyer par courriel
Imprimer
Exporter les notices
Exporter vers RefWorks
Exporter vers EndNoteWeb
Exporter vers EndNote
Permalien
Abstractions from Tests
Afficher d'autres versions (1)
Détails bibliographiques
Auteurs principaux:
Naik, M
,
Yang, H
,
Castelnuovo, G
,
Sagiv, M
,
ACM
Format:
Journal article
Publié:
2012
Exemplaires
Description
Autres Versions (1)
Documents similaires
Affichage MARC
Résultat(s)
1 - 1
résultats de
1
Afficher toutes les versions (2)
Search Result 1
Abstractions from Tests
par
Naik, M
,
Yang, H
,
Castelnuovo, G
,
Sagiv, M
Publié 2012
Journal article
Afficher toutes les versions (2)
Documents similaires
Abstractions from Tests
par: Naik, M, et autres
Publié: (2012)
Modularity in lattices: a case study on the correspondence between top-down and bottom-up analysis
par: Castelnuovo, G, et autres
Publié: (2015)
Ranking Abstractions
par: Chawdhary, A, et autres
Publié: (2015)
On abstraction refinement for program analyses in Datalog
par: Zhang, X, et autres
Publié: (2014)
Abstract and abstracting services/
par: 270078 Collison, Robert Lewis
Publié: (1971)