Oleksiy Chugayenko's home page


bio	Links Publications Projects Toolchain for automatic verification of MSC documents. Tool for automatic verification of MSC documents (toolchain future developement). Samples. CV Blog Contacts