File tree Expand file tree Collapse file tree 1 file changed +2
-2
lines changed
content/post/inspiration/In-Formal-Methods-The-Lost-Art Expand file tree Collapse file tree 1 file changed +2
-2
lines changed Original file line number Diff line number Diff line change @@ -33,8 +33,8 @@ projects: []
3333## Abstract
3434This article describes an experimental course in "(In-)Formal
3535Methods", taught for three years at the University of New South
36- Wales to [ fourth-year undergraduate Computer-Science students] ( http://www.cse.unsw.edu.au/~cs6721/ ) . An adapted version was then taught
37- (disguised as “Software Engineering”) to [ second year undergraduate students] ( http://webapps.cse.unsw.edu.au/webcms2/course/index.php?cid=2332 ) .
36+ Wales to fourth-year undergraduate Computer-Science students. An adapted version was then taught
37+ (disguised as “Software Engineering”) to second year undergraduate students.
3838
3939Fourth-year CS students at UNSW are typically very-good-to-excellent
4040programmers. Second-year students are on their way to the
You can’t perform that action at this time.
0 commit comments