Termination proofs for systems code. Cook, B., Podelski, A., & Rybalchenko, A. In Proc. of the 2006 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2006.
bibtex   
@InProceedings{terminator,
  Author         = {Byron Cook and Andreas Podelski and Andrey Rybalchenko},
  Title          = {Termination proofs for systems code},
  BookTitle      = {Proc. of the 2006 {ACM} {SIGPLAN} {C}onference on
                   {P}rogramming {L}anguage {D}esign and {I}mplementation},
  year           = 2006
}
Downloads: 0