Compact Difference Bound Matrices (2017)

First Author: Chawdhary A
Attributed to:  Vulnerability Discovery using Abduction and Interpolation funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://kar.kent.ac.uk/62853/

Type: Conference/Paper/Proceeding/Abstract