Alexey Skidanov

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

Greta Yorsh, Alexey Skidanov, Thomas W. Reps, Shmuel Sagiv
Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work. Electron. Notes Theor. Comput. Sci. 131 (2005)