Proving Termination by Divergence.

Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) ◽

10.1109/sefm.2007.32 ◽

2007 ◽

Cited By ~ 5

Author(s):

Domagoj Babic ◽

Alan J. Hu ◽

Zvonimir Rakamaric ◽

Byron Cook

Download Full-text