Skip to Main Content (Press Enter)

Logo UNICH
  • ×
  • Home
  • Degrees
  • Courses
  • Jobs
  • People
  • Outputs
  • Organizations
  • Third Mission
  • Projects
  • Expertise & Skills

UNI-FIND
Logo UNICH

|

UNI-FIND

unich.it
  • ×
  • Home
  • Degrees
  • Courses
  • Jobs
  • People
  • Outputs
  • Organizations
  • Third Mission
  • Projects
  • Expertise & Skills
  1. Outputs

Predicate Pairing with Abstraction for Relational Verification

Chapter
Publication Date:
2018
Iris type:
2.1 Contributo in volume (Capitolo o Saggio)
List of contributors:
De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio
Authors of the University:
FIORAVANTI Fabio
Handle:
https://ricerca.unich.it/handle/11564/699343
Book title:
27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers
  • Use of cookies

Powered by VIVO | Designed by Cineca | 26.7.2.0