Keyword:invariants

Publications
Data Migration Under a Changing Schema in Ampersand Sebastiaan Joosten and Stef Joosten EasyChair Preprint 14595
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