Login / Signup
Stephanie Bak
Publication Activity (10 Years)
Years Active: 2016-2016
Publications (10 Years): 1
Top Topics
Software Engineering
Databases
Formal Verification
Declarative Programming
Top Venues
Appl. Intell.
</>
Publications
</>
Rattikorn Hewett
,
Phongphun Kijsanayothin
,
Stephanie Bak
,
Marry Galbrei
Cybersecurity policy verification with declarative programming.
Appl. Intell.
45 (1) (2016)