A Program Logic for Resource Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

David Aspinall, Lennart Beringer, Martin Hofmann, Hans-Wolfgang Loidl, Alberto Momigliano. A Program Logic for Resource Verification. In Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan, editors, Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings. Volume 3223 of Lecture Notes in Computer Science, pages 34-49, Springer, 2004. [doi]

This author has not been identified. Look up 'David Aspinall' in GoogleThis author has not been identified. Look up 'Lennart Beringer' in GoogleThis author has not been identified. Look up 'Martin Hofmann' in GoogleThis author has not been identified. It may be one of the following persons:

Hans-Wolfgang Loidl

Look up 'Hans-Wolfgang Loidl' in GoogleThis author has not been identified. Look up 'Alberto Momigliano' in Google

runs on WebDSL