Use of a theorem prover for transformational synthesis

Koelmans, A.M.
Burns, F.P.
Kinniment, D.J
Newcastle upon Tyne Univ. (United Kingdom). Computing Lab

Publication date

January 1993

Abstract

SIGLEAvailable from British Library Document Supply Centre- DSC:8724.9(UNUT-CL-TRS--426) / BLDSC - British Library Document Supply CentreGBUnited Kingdo

Extracted data

We use cookies to provide a better user experience.

Data Protection

Use of a theorem prover for transformational synthesis

Abstract

Extracted data

Use of a theorem prover for transformational synthesis

Abstract

Extracted data

Related items

Related items