Computer Science Education: Where Are the Software Engineers of Tomorrow?

Formal Methods and Software Construction

Formal techniques for proving the correctness of programs were an extremely active subject of research 20 years ago ... (read more)