Towards a More Natural Approach to Property Specification in the IVY Workbench.

Joo Gomes, Mrio Arcipreste, Miguel Gomes, Jos Creissac Campos

Browse the full Interact paper archive.