Sciweavers

VMCAI
2016
Springer

An Abstract Domain of Uninterpreted Functions

8 years 7 months ago
An Abstract Domain of Uninterpreted Functions
Graeme Gange, Jorge A. Navas, Peter Schachte, Hara
Added 11 Apr 2016
Updated 11 Apr 2016
Type Journal
Year 2016
Where VMCAI
Authors Graeme Gange, Jorge A. Navas, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
Comments (0)