Ask HN: What tool does professional software engineers use to draw UML diagrams? 8supercasio6y13 comments
Memory Model Verification at the Trisection of Software, Hardware, ISA (2017)arxiv.org 6supercasio7y3 comments