We stand with Ukraine  

Hongru Wang

Affiliations:
  • York University, Toronto, ON, Canada


According to our database1, Hongru Wang 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...