• A JPSL Based Model Checking Ap...

*Result*: A JPSL Based Model Checking Approach for Java Programs

Title:
A JPSL Based Model Checking Approach for Java Programs
Structured object-oriented formal language and method (11th International workshop, SOFL+MSVL 2022)
Authors:
Shu, XinFeng, Li, YanLin, Gao, WeiRan
Source:
Lecture notes in computer science. 13854:30-52
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN608123955&indx=1&recIds=ETOCCN608123955
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings