• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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