Author:Anton Guba

Publications
Usage of Invariants for Symbolic Verification of Requirements Alexander Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Oleksandr Letychevskyi and Vladimir Peschanenko In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science