Enhancing Expressivity of Checked Corecursive Streams

von Ancona, Davide
Veröffentlicht in FLOPS (16. : 2022 : Online) Functional and logic programming (2022)

Is Solidity Solid Enough?

von Crafa, Silvia
Veröffentlicht in FC (23. : 2019 : Saint Kitts) Financial cryptography and data security (2020)

Soundness Conditions for Big-Step Semantics

von Dagnino, Francesco
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

Formal techniques for distributed systems : joint 12th IFIP WG 6.1 international conference, FMOODS 2010 and 30th IFIP WG 6.1 international conference, FORTE 2010, Amsterdam, The...

Veröffentlicht 2010

Indrumător in arhivele statului judeţul Ilfov

von Ajităritei, Nicolae
Veröffentlicht 1975

Îndrumător în Arhivele Statului judeţul Ilfov

Veröffentlicht 1975