Login / Signup
Tim Pollandt
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Multi Valued
Database
Normal Form
Technical Report
Top Venues
CoRR
iFM
</>
Publications
</>
Marie-Christine Jakobs
,
Tim Pollandt
Incorporating Data Dependencies and Properties in Difference Verification with Conditions (Technical Report).
CoRR
(2023)
Marie-Christine Jakobs
,
Tim Pollandt
diffDP: Using Data Dependencies and Properties in Difference Verification with Conditions.
iFM
(2023)