Abstraction in Reasoning about Higraph-Based Systems.

John Power, Konstantinos Tourlas

Browse the full FOSSACS paper archive.