DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Interpreted as:
journal:(Science AND of AND Computer AND Programming) AND title:(A AND Hoare-like AND proof AND system AND for AND analysing AND the AND computation AND time AND of AND programs)
Suggestions: Include records that partially match the query
A hoare-like proof system for analysing the computation time of programs 10.1016/0167-6423(87)90029-3
Science of Computer Programming — 1987, Volume 9, Issue 9, pp. 107-136
Year: 1987
Language: English
A Hoare-like proof system for analysing the computation time of programs
Science of Computer Programming — 1987, Volume 9, Issue 2, pp. 107-136
Year: 1987
Language: English