Login / Signup

Using Dependent Types to Define Energy Augmented Semantics of Programs.

Bernard van GastelRody KerstenMarko C. J. D. van Eekelen
Published in: FOPARA (2015)
Keyphrases