Geeks
Oqarina
/
oqarina
Mechanization of AADL in Coq
Primary Language
Coq
Other
NOASSERTION
oqarina GitHub
Markdown
Readme
2
Issues
3
Stargazers
3
Watchers
Stargazers
kiniry
@FreeAndFair @GaloisInc
shenghaoyuan
zhenli798