Spis treści

HaDEsTestDrive

Eliasz Kańtoch Tomasz Michalski

Introduction

Our aim is to design rule based systems in HeKatE tools.

Systems