trees/courses/SENG2011.tree at main

liamoc.net / forest

fork atom

my forest

fork atom

forest / trees / courses / SENG2011.tree

at main 7 lines 218 B view raw

wrap content

Liam O'Connor major start 11mo ago

d72798e0

1\taxon{Course}
2\title{Program Reasoning Workshop}
3\author{liamoc}
4\author{ccm}
5\meta{venue}{[[unsw]]}
6\meta{external}{https://www.cse.unsw.edu.au/~se2011}
7\p{(in)-formally deriving programs fromtheir speciﬁcations.}