Translating Java for multiple model checkers: The Bandera back-end
scientific article; zbMATH DE number 5007751
scientific article