Toggle Main Menu Toggle Search

Open Access padlockePrints

Learning from an expert's proof: AI4FM

Lookup NU author(s): Dr Leo Freitas, Professor Cliff JonesORCiD

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Publication metadata

Author(s): Freitas L, Jones CB

Editor(s): Ball, T., Zuck, L., Shankar, N.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: UV10 (Usable Verification)

Year of Conference: 2010

URL: http://fm.csl.sri.com/UV10/submissions/uv2010_submission_18.pdf


Share