Link Details

Link 923565 thumbnail
User 756145 avatar

By mheusser
via cio.com
Published: Feb 13 2013 / 18:05

Proving Software Correct has been the hobgoblin of software development since the days of punched cards. This article explains the latest ideas - and attempts - to at least get closer.
  • 10
  • 0
  • 432
  • 580

Add your comment


Html tags not supported. Reply is editable for 5 minutes. Use [code lang="java|ruby|sql|css|xml"][/code] to post code snippets.

Voters For This Link (10)



Voters Against This Link (0)



    Apache Hadoop
    Written by: Piotr Krewski
    Featured Refcardz: Top Refcardz:
    1. Play
    2. Akka
    3. Design Patterns
    4. OO JS
    5. Cont. Delivery
    1. Play
    2. Java Performance
    3. Akka
    4. REST
    5. Java