Research output

1. Beyond the elementary representations of program invariants over algebraic data types

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2. TRIK Studio: Technical Introduction

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3. Новые возможности среды программирования роботов TRIK Studio

   Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

View all (3) »