This name is a synonym of Gasteria carinata var. verrucosa (Mill.) van Jaarsv..
The record derives from WCSP
(data supplied on 2012-03-26)
which reports it as a synonym (record 298035) with original publication details: Observ. Bot. Hort. Dyck. 67 1821.
Full publication details for this name can be found in IPNI: http://ipni.org/urn:lsid:ipni.org:names:529948-1.
This name was in version 1 of The Plant List, record kew-298035, and has not been changed.