We stand with Ukraine  

Anto Nanah Ji

According to our database1, Anto Nanah Ji authored at least 2 papers in 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.
[BibTeX]
[DOI]
Matt Walker
,
Parssa Khazra
,
Anto Nanah Ji
,
Hongru Wang
,
Franck van Breugel
ACM SIGSOFT Softw. Eng. Notes, January, 2023

The Java Pathfinder Workshop 2022.
[BibTeX]
[DOI]
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
ACM SIGSOFT Softw. Eng. Notes, January, 2023


  Loading...