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 Bahn Browser Bücher Camping Children's Books Credit Card Flying Froged GL Lineage OS Linux Nahverkehr NFC Pocophone Radical Candor Reading Rheinbahn Saas SAS Software Streik Thunderbird Video Water Wohnmobil XMG

Legal

  • Datenschutzerklärung
  • Impressum
Back to Top