Verificacio automatica de programes basada en semantica de comportament i logica de primer ordre: el metodo alice.

Tesis doctoral de Palasi Lallana Vicent Ramon Se presenta un metodo de verificacion automatica llamado alice (algebraic inference of the […]

, , , , ,