Don't have Telegram yet? Try it now!
https://www.bitrates.com/news/p/iohk-virtual-machines-and-contract-code-correctness
IOHK: Virtual Machines and Contract Code Correctness