Publications:

1. Nikitchenko M., Kryvolap A. Properties of inference systems for Floyd-Hoare logic with partial predicates // Acta Electrotechnica et Informatica. - 2013, vol. 13, №4. - p. 70-78
2. Kryvolap A., Nikitchenko M., Schreiner W. Extending Floyd-Hoare logic for partial pre- and postconditions // CCIS. - 2013, vol. 412. - pp. 355-378
3. Kryvolap A., Nikitchenko M., Schreiner W. Program Algebras with Monotone Floyd-Hoare Composition // ICTERI 2013. - 2013. - p. 533-549
4. Никитченко Н.С., Криволап А.В. Многосортная монотонная логика Флойда-Хоара // International Journal Information Theories and Applications, - 2013. vol. 20, №4, - p.331-341
5. Никитченко Н.С., Криволап А.В. Семантичні властивості монотонних логік Флойда-Хоара // Вісник київського національного університету. - 2012, №3. - с.215-222