"Towards a Formalization of System Requirements for an Integrated Clinical ..."

Cinzia Bernardeschi, Andrea Domenici, Paolo Masci (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics