Sciweavers

TFM
2004
Springer
118views Formal Methods» more  TFM 2004»
14 years 5 months ago
A Beginner's Course on Reasoning About Imperative Programs
Formal Methods teaching at undergraduate level has been going on at Manchester for a good number of years.We have introduced various courses based on different approaches.We have e...
Kung-Kiu Lau