A symbolic execution semantics for TopHat

Thumbnail Image

Files

Primary 214654.pdf (1 MB)

Date

2019

Authors

Naus, Nico
Steenvoorden, T.J.
Klinik, M.A.A. Markus

Journal Title

Journal ISSN

Volume Title

Publisher

New York : ACM

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/214654

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By