• Automated Termination Proofs f...

*Result*: Automated Termination Proofs for Java Programs with Cyclic Data

Title:
Automated Termination Proofs for Java Programs with Cyclic Data
Computer aided verification
Authors:
Brockschmidt, M., Musiol, R., Otto, C., Giesl, J.
Source:
LECTURE NOTES IN COMPUTER SCIENCE. (7358):105-122
Availability:
http://explore.bl.uk/primo_library/libweb/action/display.do?tabs=detailsTab&gathStatTab=true&ct=display&fn=search&doc=ETOCCN082339850&indx=1&recIds=ETOCCN082339850
Database:
British Library Document Supply Centre Inside Serials & Conference Proceedings