"Certification of Cash Registers Software."

Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics