%0 Journal Article
%T Formal Specification of Medical Systems by Proof-Based Refinement
%A Méry, Dominique
%A Singh, Neeraj Kumar
%J ACM Transactions on Embedded Computing Systems (TECS)
%V 12
%N 1
%@ 1539-9087
%D 2013-01-01
%I Association for Computing Machinery
%~ DeepDyve