Login / Signup

Foreword: Special issue on numerical software verification.

Franjo IvancicSriram SankaranarayananChao Wang
Published in: Formal Methods Syst. Des. (2009)
Keyphrases
  • special issue
  • ai edam
  • international journal
  • ecml pkdd
  • applied intelligence
  • sensitivity analysis
  • numerical analysis
  • rough sets
  • decision support system
  • complex systems
  • numerical data
  • special section