UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Summarization for termination: no return!

Cook, B; Podelski, A; Rybalchenko, A; (2009) Summarization for termination: no return! Formal Methods in System Design , 35 , Article 3. 10.1007/s10703-009-0087-8.

Full text not available from this repository.


Type:Article
Title:Summarization for termination: no return!
DOI:10.1007/s10703-009-0087-8
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record