FOSSACS 2007 (2007 Braga, Portugal)

• Foundations of software science and computational structures