Open sherl0cks opened 8 years ago
consider an abstraction vs concretion domain split in the model
model the stack resource as a map
consider an abstraction vs concretion domain split in the model