Kuncak, Viktor
Kunčak, Viktor 1977-
VIAF ID: 90891011 ( Personal )
Permalink: http://viaf.org/viaf/90891011
Preferred Forms
- 100 1 _ ‡a Kuncak, Viktor
- 100 1 _ ‡a Kuncak, Viktor
-
-
- 100 1 _ ‡a Kuncak, Viktor
- 100 1 _ ‡a Kuncak, Viktor
- 100 1 _ ‡a Kunčak, Viktor ‡d 1977-
4xx's: Alternate Name Forms (2)
Works
Title | Sources |
---|---|
Computer Aided Verification : 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II | |
Verification, model checking and abstract interpretation, c2012: | |
VMCAI 2012 |