Succinct Representation of Graphs Project report for Formal Semantics and Verification (CS388S)

by Karthikeyan Sankaralingam