Skip to Main Content (Press Enter)
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
IT
EN
☰
UNI-FIND
|
UNI-FIND
unich.it
IT
EN
×
Home
Corsi
Insegnamenti
Professioni
Persone
Pubblicazioni
Strutture
Terza Missione
Attività
Competenze
☰
Pubblicazioni
FUNDAMENTA INFORMATICAE
Rivista
Codice:
E068482
ISSN:
0169-2968
Dati Generali
Dati Generali
Pubblicazioni (10)
A Rule-based Verification Strategy for Array Manipulating Programs
Articolo
A Timed Linda Language and its Denotational Semantics.
Articolo
Controlling Polyvariance for Specialization-based Verification
Articolo
Improving Reachability Analysis of Infinite State Systems by Specialization
Articolo
Observational Completeness on Abstract Interpretation
Articolo
Program Verification using Constraint Handling Rules and Array Constraint Generalizations
Articolo
Proving Theorems by Program Transformation
Articolo
Semantics and controllability of time-aware business processes
Articolo
Special issue on the Italian conference on computational logic: CILC 2011
Curatela
Synthesizing Concurrent Programs Using Answer Set Programming
Articolo
No Results Found
