Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#643
Pre/Postconditions and invariants
(from redmine: issue id 643, created on 2012-02-09, closed on 2012-07-07)