Anton Guba

According to our database, Anton Guba authored at least 4 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2016

A method for business logic extraction from legacy COBOL code of industrial systems.

Anton Guba, Olexander Kolchin, Stepan Potiyenko

Proceedings of the 10th International Conference of Programming UkrPROG'2016, Kyiv, 2016

2013

Usage of Invariants for Symbolic Verification of Requirements.

Alexander A. Letichevsky, Alexander Godlevsky, Anton Guba, Alexander Kolchin, Olexander A. Letychevskyi, Vladimir S. Peschanenko

Proceedings of the 5th International Symposium on Symbolic Computation in Software Science, 2013

Specializations in Symbolic Verification.

Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov

Proceedings of the Information and Communication Technologies in Education, Research, and Industrial Applications, 2013

Specializations and Symbolic Modeling.

Vladimir S. Peschanenko, Anton Guba, Constantin Shushpanov

Proceedings of the 9th International Conference on ICT in Education, 2013