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 1326 results:
BibTeX
Author
Title
Type
[
Year
]
Filters:
First Letter Of Last Name
is
T
[Clear All Filters]
2013
Resolution Proof Transformation for Compression and Interpolation
,
Rollini, S.F.
,
Bruttomesso R.
,
Sharygina Natasha
, and
Tsitovich A.
, CoRR, Volume July 2013, (2013)
Google Scholar
BibTeX
Pages
« first
‹ previous
…
46
47
48
49
50
51
52
53
54