Cover Image
Saved in:

The correctness-by-construction approach to programming

Bibliographic Details
Main Author: Kourie, Derrick.
Corporate Author: SpringerLink (Online service)
Other Authors: Watson, Bruce W.
Format: Online Book
Published: Berlin ; New York : Springer, c2012.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!