Rybalchenko, Andrey
VIAF ID: 67526684 ( Personal )
Permalink: http://viaf.org/viaf/67526684
Preferred Forms
- 100 1 _ ‡a Rybalchenko, Andrey
- 100 1 _ ‡a Rybalchenko, Andrey
-
- 100 1 _ ‡a Rybalchenko, Andrey
-
- 100 1 _ ‡a Rybalchenko, Andrey
- 100 1 _ ‡a Rybalchenko, Andrey
4xx's: Alternate Name Forms (1)
Works
Title | Sources |
---|---|
Computer Science - Theory and Applications : Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings | |
Software model checking of liveness properties via transition invariants | |
Temporal verification with transition invariants | |
Verification, model checking and abstract interpretation, c2012: | |
Verified Software: Theories, Tools, Experiments : 5th International Conference, VSTTE 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised Selected Papers | |
VMCAI 2012 |