Aman Pervaiz

Publication Activity (10 Years)

Years Active: 2007-2008
Publications (10 Years): 0

Publications

Muhammad Zubair Malik, Aman Pervaiz, Engin Uzuncaova, Sarfraz Khurshid
Deryaft: a tool for generating representation invariants of structurally complex data. ICSE (2008)
Muhammad Zubair Malik, Aman Pervaiz, Sarfraz Khurshid
Generating Representation Invariants of Structurally Complex Data. TACAS (2007)