Termination Analysis With Compositional Transition Invariants

In  Proceedings of the 22nd International Conference on Computer Aided Verification (CAV)

Publisher  Springer

Details

TypeInproceedings
Number6174
SeriesLNCS
> Publications > Termination Analysis With Compositional Transition Invariants