
Basic data
Description
Symbolic Contract Synthesizer.
Member
Address
Department of Information Systems and Computing
U. Polytechnic of Valencia
Camino de Vera S/N
46.020 Valencia
Province
Valencia