A
Menu
April 20, 2016 article

Underapproximation of procedure summaries for integer programs

International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-016-0420-7 OpenAlex

Authors 0

  1. Author list not loaded yet.

Cited by 3 stored of 7

3 results

References 0