Amar GuptaSpringer Berlin HeidelbergGaynor, M., Wyner, G., Gupta, A.: Dr. Watson? Balancing automation and human expertise in healthcare delivery. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 561–569. Springer, Heidelberg (2014)...
Amar GuptaInternational Symposium on Leveraging Applications of Formal Methods, Verification, and ValidationGaynor, M., Wyner, G., Gupta, A.: Dr. Watson? Balancing automation and human expertise in healthcare delivery. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol....