Search for persons
X
?
Yearbook of International Sports Arbitration; Yearbook of International Sports Arbitration 2018–2020 ,
2
The Surrogate Regulatory Role of CAS Panels: Financial Fair..:
, In:
?
Proceedings of the Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming ,
3
IDVE : an integrated development and verification enviro..:
, In:
?
Proceedings of the 30th Symposium on Implementation and Application of Functional Languages ,
6
ESVERIFY : Verifying Dynamically-Typed Higher-Order Func..:
, In:
?
Companion Proceedings of the 15th International Conference on Modularity ,
8
Reactive programming with reactive variables:
, In:
?
2017 14th IEEE Annual Consumer Communications & Networking Conference (CCNC) ,
11