DE ANGELIS, EMANUELE
 Distribuzione geografica
Continente #
EU - Europa 6
AS - Asia 3
Totale 9
Nazione #
IT - Italia 5
CN - Cina 3
SE - Svezia 1
Totale 9
Città #
Rome 3
Totale 3
Nome #
A Classification Study on Testing and Verification of AI-based Systems 2
What makes test programs similar in microservices applications? 2
Predicate pairing with abstraction for relational verification 1
Synthesizing Concurrent Programs using Answer Set Programming 1
Specialization with Constrained Generalization for Software Model Checking 1
Enhancing Predicate Pairing with Abstraction for Relational Verification 1
ABA Learning via ASP 1
Totale 9
Categoria #
all - tutte 575
article - articoli 196
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 771


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20249 0 0 0 0 0 0 0 0 2 4 3 0
Totale 9