Jose Nuno Oliveira

• Mathematics of Program Construction
• Teaching Formal Methods