Model Checking for Verification of Interactive Health IT Systems
Keith Butler$lastName
You must log in to view this content. All contents are accessible to AMIA members and meeting attendees. If you are interested in purchasing proceedings, please contact us at mail@amia.org