The way of the lazy

Tesis doctoral de Marc Solé Simó This phd belongs to the field of formal verification. Formal verification uses mathematical reasoning […]

, , , , ,