On Partial Variable Assignment Interpolants

Technical report

Title:

Authors:

P. Jančík, J. Kofroň

Publication:

Technical report no. D3S-TR-2013-05, Department of Distributed and Dependable Systems, Charles University

Year:

2013

Fulltext:

PDF

BibTeX:

@techreport{jancik_partial_report_2013,
    title = {{On Partial Variable Assignment Interpolants}},
    author = {Jančík, Pavel and Kofroň, Jan},
    year = {2013},
    institution = {Department of Distributed and Dependable Systems, Charles University},
    number = {D3S-TR-2013-05},
}