Especificacion formal de sistemas graficos.

Tesis doctoral de Miguel Gea Megias En la tesis se presenta un nuevo metodo de especificacion formal, orientado a la […]

, , , , ,