Towards the automated business process building by means of type theory.

Autor: Shapkin, Pavel, Marenkov, Alexander, Shumsky, Leonid, Roslovtsev, Vladimir, Wolfengagen, Viacheslav
Zdroj: ACM International Conference Proceeding Series; 4/23/2015, p1-8, 8p
Databáze: Complementary Index