Skip to Main Content Area
Lingue
Ultime notizie
2013/04/04
Relazione invitata alla Int'l Conf. on Quality Software
2013/01/13
BUGSENG in varie conferenze internazionali
2012/12/14
Nuovo articolo accettato per ICST 2013
2012/06/28
È stata rilasciata la versione 1.0 della PPL
2012/06/01
BUGSENG selected ACE's SuperTest
chi siamo
la società
i fondatori
prodotti
eclair
ppl
documentation
faq
download
applications
credits
mailing lists
bugs
links
servizi
formazione
corso MISRA C
supporto
contatti
lavora con noi
risorse
pubblicazioni scientifiche
archivio
notizie
Pubblicazioni scientifiche selezionate
Export 1 results:
BibTex
Ordina per:
Autore
[
Titolo
]
Tipo
Anno
A
B
C
D
E
F
G
H
I
J
K
L
M
N
[O]
P
Q
R
S
T
U
V
W
X
Y
Z
[
Show ALL
]
O
Bagnara R
,
Hill PM
,
Pescetti A
,
Zaffanella E
. 2008.
On the Design of Generic Static Analyzers for Imperative Languages
.
Abstract
BibTex
Google Scholar
Scarica:
BagnaraHPZ08.pdf
(632.79 KB)