Making Verification in KeYmeara Easier - A Graphical Approach for Better Usability
Konferenzbeitrag › Konferenzpaper
› 2018
Zitation
Konferenzbeitrag Full Paper
Baar, Thomas; Staroletov, Sergey: Making Verification in KeYmeara Easier - A Graphical Approach for Better Usability. In: Proceeding of 9th Workshop "Program Semantics, Specification and Verification: Theory and Applications" dedicated to the memory of B.A. Trakhtenbrot, M.I. Dekhtyar, and M.K. Valiev. Hg. von Nikolay Shilov and Vladimir Zakharov. Yaroslavl, Russia: Yaroslavl State University 2018, S. 22-28.