(In-)Formal methods: Teaching program derivation via the Moore method Academic Article uri icon

Overview

publication date

  • 1995

Additional Document Info

start page

  • 67

end page

  • 91

volume

  • 6

issue

  • 1