Efficient program analyses using deductive and semantic methodologies (2017)

First Author: Selvaraj G
Attributed to:  Centre for the Analysis of Motion, Entertainment Research and Applications (CAMERA) funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Publication URI: https://researchportal.bath.ac.uk/en/publications/efficient-program-analyses-using-deductive-and-semantic-methodolo

Type: Conference/Paper/Proceeding/Abstract