passage-0.1: COPYRIGHT
Copyright (c) 2011, Galois Inc. Copyright (c) 2011, Battelle Memorial Institute All rights reserved. The Passage library is distributed with the BSD3 license. See the LICENSE file for details.
Copyright (c) 2011, Galois Inc. Copyright (c) 2011, Battelle Memorial Institute All rights reserved. The Passage library is distributed with the BSD3 license. See the LICENSE file for details.