Invariant-based programming: Difference between revisions

Added reference to journal article -> removed citations missing
(No difference)