Templates as heuristics for proving properties of medical devices Artigo de Conferência uri icon

autores

  • José Francisco Creissac Freitas de Campos
  • Campos, José C.
  • Curzon, Paul
  • Masci, PM
  • Harrison, Michael

data de publicação

  • janeiro 1, 2015