Dr. Michael Jastram
  • Home
  • Blogs
  • Publications
logo

Formal Methods find Bug in Sort Code

Home → Science → Formal Methods find Bug in Sort Code

For what it’s worth: http://www.heise.de/newsticker/meldung/Fehler-in-Standardsortieralgorithmus-mit-formalen-Methoden-aufgedeckt-2570944.html

On March 11, 2015   /   Science, Software  

Post’s Link

For what it’s worth: http://www.heise.de/newsticker/meldung/Fehler-in-Standardsortieralgorithmus-mit-formalen-Methoden-aufgedeckt-2570944.html

Categories

  • Books
  • Business
  • Databases
  • Design
  • Eclipse RCP
  • Entrepreneurship
  • Germany
  • Hardware
  • Humor
  • Java
  • Job
  • Lifestyle
  • Micro$oft
  • News
  • Operating Systems
  • Philanthropy
  • Politics
  • Quote
  • Requirements
  • Science
  • Software
  • Space
  • Technology
  • Travel
  • Uncategorized
  • USA
  • Web

Tags

2019 Aceleration Android Browser Children's Books Credit Card Lineage OS Linux NFC Pocophone Radical Candor Reading Thunderbird Video

Legal

  • Datenschutzerklärung
  • Impressum
Back to Top