Login / Signup

Linking Event-B and Concurrent Object-Oriented Programs.

Andrew EdmundsMichael J. Butler
Published in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • impact analysis
  • object oriented
  • black box
  • computational methods
  • data sets
  • artificial intelligence