Laure Hinsberger

Publication Activity (10 Years)

Years Active: 2018-2018
Publications (10 Years): 1

Top Topics

Healthcare Systems

Top Venues

Publications

Hao Wu, Laure Hinsberger, Joseph Timoney
A Workflow for Healthcare Systems via OCL and SMT Solving. SEHS@ICSE (2018)