TitleTight Worst-Case Bounds for Polynomial Loop Programs
Publication TypeConference Paper
Year of Publication2019
AuthorsBen-Amram A.M, Hamilton G.W
Conference NameInternational Conference on Foundations of Software Science and Computation Structures
Date PublishedApril
Conference LocationCzech Republic
URLhttps://link.springer.com/book/10.1007/978-3-030-17127-8
DOI10.1007/978-3-030-17127-8