Sign in
Anto Nanah Ji
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Database Applications
Invited Paper
Temporal Logic
Satisfiability Problem
Top Venues
ACM SIGSOFT Softw. Eng. Notes
</>
Publications
</>
Matt Walker
,
Parssa Khazra
,
Anto Nanah Ji
,
Hongru Wang
,
Franck van Breugel
jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.
ACM SIGSOFT Softw. Eng. Notes
48 (1) (2023)
Elena Sherman
,
Yannic Noller
,
Cyrille Artho
,
Franck van Breugel
,
Anto Nanah Ji
,
John Kellerman
,
Parssa Khazra
,
Filip Kliber
,
Gaurang Kudale
,
Pavel Parízek
,
Corina S. Pasareanu
,
Ron Pressler
,
Matt Walker
,
Hongru Wang
,
Qiuchen Yan
The Java Pathfinder Workshop 2022.
ACM SIGSOFT Softw. Eng. Notes
48 (1) (2023)