\taxon{Course}
\title{Program Reasoning Workshop}
\author{liamoc}
\author{ccm}
\meta{venue}{[[unsw]]}
\meta{external}{https://www.cse.unsw.edu.au/~se2011}
\p{(in)-formally deriving programs fromtheir specifications.}