Return to Issue Details Application of formal methods in the design of a single window system Download Download PDF