Dermatobranchus albopunctulatus es una especie de babosa de mar , un nudibranquio , un molusco gasterópodo marino de la familia Arminidae . [2]