George Spasov is a blockchain architect at LimeChain – a blockchain consultancy company and a development partner of æternity. The…
With more than 15 years of experience in Erlang programming, Hans Svensson is a specialist in model checking for concurrent…