An automatically verified prototype of the Tokeneer ID station specification
scientific article; zbMATH DE number 7461267
scientific article