GitHub · Where software is built

Back to Milestones

Zwischenbericht Validierungsphase

Open

Overdue by 14 year(s)

•

Due by February 20, 2012

•Last updated Jul 25, 2012

96% complete

Select all issues: List view

Return value is not passed on to the prover in postconditions.

#61

· jspam opened

on Feb 17, 2012