The Correctness-by-Construction Approach to Programming

  • Length: 277 pages
  • Publication Date: 2012-04-11
0 (0)