We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Updated Wyvern: A Language for Usable Design Driven Assurance (markdown)
Extra right paren in [Coblenz et al., 2017] link
fixed a broken link
Cleaned up references a bit more and added a link to the Wyvern home page
cleaning up references
made the reference links look like reference links
Added direct web links instead of traditional references
Updated Wyvern Manifesto (Work in Progress Draft) (markdown)