Concern-based Specification and Analysis using Abstract Interpretation - A Distributed Case

Related