Research output

1. Объектная модель научной деятельности

   Research output: Contribution to journal › Article › peer-review

2. Automata-Based Software Engineering with Event-B

   Research output: Contribution to journal › Article › peer-review

3. Extensions to the Predicate Programming Language for Efficient Graph Processing

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

View all (4) »