«Learning formal specification should also be fun»

«Learning formal specification should also be fun» Wishnu Prasetya Free Registration Abstract There are many benefits in providing formal specifications for our software. However, teaching students to do this is not always easy as courses on formal methods are often...