Petroleum and mining taxation : handbook on a method for equitable sharing of profits and risk

von Goss, Christopher
Veröffentlicht 1986

Petroleum and mining taxation : handbook on a method for equitable sharing of profits and risk

von Goss, Christopher
Veröffentlicht 1987

Compiling Quantitative Type Theory to Michelson for Compile-Time Verification and Run-time Efficiency in Juvix

von Goes, Christopher
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 3: Engineering principles (2020)