Native Word

Thumbnail
Metadata only
Author
Lochbihler, Andreas
Date
2013-09
Type
    Journal Article
Publication status
published
External links
https://www.isa-afp.org/entries/Native_Word.shtml
Journal / series
Archive of Formal Proofs
Publisher
SourceForge
Organisational unit
03634 - Basin, David / Basin, David  
More
Show all metadata
ETH Bibliography
yes
Altmetrics