• A Resource-Based Logic for Ter...

*Result*: A Resource-Based Logic for Termination and Non-termination Proofs.

Title:
A Resource-Based Logic for Termination and Non-termination Proofs.
Authors:
Le, Ton Chanh, Gherghina, Cristian, Hobor, Aquinas, Chin, Wei-Ngan
Source:
Formal Methods & Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings; 2014, p267-283, 17p
Database:
Complementary Index