For more than the last three decades, the security of software systems has been an important area...

The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the bord...

Software test automation.- Static program analysis.- Verification.- Dynamic methods of program an...

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book ...