The Application of Formal Methods for the Redevelopment of a Laboratory Information Management System.

Paul O. Collinson, Susan Oppert, Steven Hughes

Browse the full SAFECOMP paper archive.