(In-)Formal methods: Teaching program derivation via the Moore method

Journal article

James A Foster, Michael Barnett, Karen Van Houten and Luke Sheneman

Computer Science Education, Vol.6(1), pp.67-91

1995

Files and links (1)

url

https://doi.org/10.1080/0899340950060105View

1 Record Views

Title: (In-)Formal methods: Teaching program derivation via the Moore method
Creators: James A Foster - University of Idaho
Michael Barnett - University of Idaho
Karen Van Houten - University of Idaho
Luke Sheneman - University of Idaho
Publication Details: Computer Science Education, Vol.6(1), pp.67-91
Identifiers: 996631890401851
Academic Unit: University of Idaho
Language: English
Resource Type: Journal article