Incrementally closing octagons (2018)

First Author: Chawdhary A

Attributed to: Se-Ma-Match: Semantic Malware Matching funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/s10703-017-0314-7

Publication URI: http://dx.doi.org/10.1007/s10703-017-0314-7

Type: Journal Article/Review

Parent Publication: Formal Methods in System Design

Issue: 2