Designing a New Virtual Machine and Universal Language Framework
IOHK | BLOG
Designing a new virtual machine and universal language framework Guest blog from Professor Rosu explains the work being done in a partnership between Runtime Veri cation and IOHK