Towards verifying security policies for infinite-state systems
In International conference on verified software: Theories, tools, and experiments
Abstract
FIXME
Quentin Peyras
Copyright (c) 2022, LRE; all rights reserved.
Template by Bootstrapious. Ported to Hugo by DevCows.