Login / Signup
Isaac Hong Wong
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Information Security
High Level
Parse Tree
Natural Language Sentences
Top Venues
ICLP Workshops
</>
Publications
</>
Anitha Murugesan
,
Isaac Hong Wong
,
Robert J. Stroud
,
Joaquín Arias
,
Elmer Salazar
,
Gopal Gupta
,
Robin Bloomfield
,
Srivatsan Varadarajan
,
John Rushby
Semantic Analysis of Assurance Cases using s(CASP).
ICLP Workshops
(2023)