Graph-IC Verification

Author(s):
Gregory Faux and Dennis Ramaekers