Export promotion and firm entry into and survival in export markets

von Lederman, Daniel
Veröffentlicht in Canadian journal of development studies (2016)

Solving Constrained Horn Clauses over Algebraic Data Types

von Zavalia, Lucas
Veröffentlicht in VMCAI (24. : 2023 : Boston) Verification, model checking, and abstract interpretation (2023)