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