Uwe Wolter, Alfio Martini, Edward Hermann Häusler. Indexed and Fibred Structures for Hoare Logic. In Amy P. Felty, João Marcos 0001, editors, Proceedings of the 14th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2019, Natal, Brazil, August, 2019. Volume 348 of Electronic Notes in Theoretical Computer Science, pages 125-145, Elsevier, 2020. [doi]
Abstract is missing.