Login / Signup

Weakest preconditions in fibrations.

Alejandro AguirreShin-ya KatsumataSatoshi Kura
Published in: Math. Struct. Comput. Sci. (2022)
Keyphrases