Skip to content
GitLab
Explore
Sign in
af3
AF3
Issues
#1753
Analysis: Translation of imbricated structs to NuSMV
(from redmine: issue id 1753, created on 2013-09-23, closed on 2014-07-23)
Uploads:
NestedStructs.af3_23