M. Paier

DBCChecker: A Bigraph-Based Tool for Checking Security Properties of Container Compositions
A Calculus for Subjective Communication

Published with Wowchemy — the free, open source website builder that empowers creators.