Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 5 di 5
Titolo Data di pubblicazione Autore(i) File
PURRS: Towards Computer Algebra Support for Fully Automatic Worst-Case Complexity Analysis 1-gen-2005 Bagnara, Roberto; Pescetti, Andrea; Zaccagnini, Alessandro; Zaffanella, Enea
Verification of C Programs Via Natural Semantics and Abstract Interpretation 1-gen-2007 Bagnara, Roberto; Hill, P. M.; Pescetti, Andrea; Zaffanella, Enea
On the Design of Generic Static Analyzers for Imperative Languages 1-gen-2008 Bagnara, Roberto; Hill, P. M.; Pescetti, Andrea; Zaffanella, Enea
The Automatic Synthesis of Linear Ranking Functions: The Complete Unabridged Version 1-gen-2010 Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea
A New Look at the Automatic Synthesis of Linear Ranking Functions 1-gen-2012 Bagnara, Roberto; Mesnard, F.; Pescetti, Andrea; Zaffanella, Enea
Mostrati risultati da 1 a 5 di 5
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile