Lightweight Diagramming for Lightweight Formal Methods (via azhenley) — discussion

#formalmethods