%0 Journal Article
%T Formal methods software engineering for the CARA system
%A Martin, John C.
%J International Journal on Software Tools for Technology Transfer
%V 5
%N 4
%P 301-307
%@ 1433-2779
%D 2003-12-19
%I Springer-Verlag
%~ DeepDyve