Back to Results
First PageMeta Content
Programming paradigms / Software testing / Daikon / Class invariant / Invariant / Java Modeling Language / Emmy Noether / Design by contract / Control flow / Software engineering / Computing / Computer programming


doi:[removed]j.scico[removed]
Add to Reading List

Document Date: 2014-01-03 23:24:44

Open Document

File Size: 263,66 KB

Share Result on Facebook
UPDATE