%0 Journal Article %1 journals/sigsoft/WalkerKJWB23 %A Walker, Matt %A Khazra, Parssa %A Ji, Anto Nanah %A Wang, Hongru %A van Breugel, Franck %D 2023 %J ACM SIGSOFT Softw. Eng. Notes %K dblp %N 1 %P 32-36 %T jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code. %U http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft48.html#WalkerKJWB23 %V 48

@article{journals/sigsoft/WalkerKJWB23, added-at = {2023-02-27T00:00:00.000+0100}, author = {Walker, Matt and Khazra, Parssa and Ji, Anto Nanah and Wang, Hongru and van Breugel, Franck}, biburl = {https://www.bibsonomy.org/bibtex/255b5e6717a60a4826884ba408c91ab19/dblp}, ee = {https://doi.org/10.1145/3573074.3573083}, interhash = {92c2cea42d33f9d0d9d5191c9af3eb3c}, intrahash = {55b5e6717a60a4826884ba408c91ab19}, journal = {ACM SIGSOFT Softw. Eng. Notes}, keywords = {dblp}, month = {January}, number = 1, pages = {32-36}, timestamp = {2024-04-08T18:56:34.000+0200}, title = {jpf-logic: a Framework for Checking Temporal Logic Properties of Java Code.}, url = {http://dblp.uni-trier.de/db/journals/sigsoft/sigsoft48.html#WalkerKJWB23}, volume = 48, year = 2023 }