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
URI: http://discovery.ucl.ac.uk/id/eprint/1377725
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item