A Workflow for Healthcare Systems via OCL and SMT Solving.

Hao Wu, Laure Hinsberger, Joseph Timoney

Browse the full ICSE paper archive.