Formal Verification and Security Lab
Navigation
Home
People
Research
Tools
Publications
PhD Dissertations
Talks
Teaching
Funded projects
Semester projects
You are here
Home
» Publications
Publications
Export 1 results:
BibTeX
Author
Title
[
Type
]
Year
Filters:
Keyword
is
SMT
[Clear All Filters]
Journal Article
An extension of lazy abstraction with interpolation for programs with arrays
,
Alberti, Francesco
,
Bruttomesso R.
,
Ghilardi S.
,
Ranise S.
, and
Sharygina Natasha
, FMSD, (2014)
Google Scholar
BibTeX