Making PVS accessible to generic services by interpretation in a universal format
scientific article; zbMATH DE number 6821860
scientific article