Login / Signup

Supporting Field Investigators with PVS: A Case Study in the Healthcare Domain.

Paolo MasciDominic FurnissPaul CurzonMichael D. HarrisonAnn Blandford
Published in: SERENE (2012)
Keyphrases
  • domain specific
  • case study
  • test bed
  • information systems
  • domain independent
  • latest developments
  • databases
  • information retrieval
  • expert systems
  • health care
  • theorem proving