Login / Signup

Studying Verification Conditions for Imperative Programs.

Cláudio Belo LourençoSi-Mohamed LamraouiShin NakajimaJorge Sousa Pinto
Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2015)
Keyphrases
  • imperative programs
  • sufficient conditions
  • information systems
  • real time
  • environmental conditions
  • database
  • neural network
  • information retrieval
  • high level
  • video sequences
  • dynamic logic