DOI:
10.1055/s-00034612
Yearbook of Medical Informatics
LinksClose Window
References
Malecha G, Morrisett G, Shinnar A, Wisnesky R.
Toward a verified relational database management system.
ACM Sigplan Notices 2010; Jan 17;
45 (01) 237-48
http://dl.acm.org/citation.cfm?id=1706329
We do not assume any responsibility for the contents of the web pages of other providers.