An object-oriented formal notation: executable specifications in clay

Tesis doctoral de ángel Herranz Nieva La tesis introduce clay, una notación formal orientada a objetos que busca acercar los […]

, , , , ,