Skip to main navigation Skip to search Skip to main content

Programming Assistance Based on Contracts and Modular Verification in the Automation Domain

Research output: Chapter in Book/Report/Conference proceedingConference proceedingspeer-review

Original languageEnglish
Title of host publicationACM Symposium on Applied Computing, Sierre, Switzerland
Publication statusPublished - 2009

Fields of science

  • 102 Computer Sciences
  • 102009 Computer simulation
  • 102011 Formal languages
  • 102013 Human-computer interaction
  • 102029 Practical computer science
  • 102022 Software development
  • 102024 Usability research

Cite this