Travelled to:1 × USA
Collaborated with:J.D.Fleuriot
Talks about:approach (1) isabell (1) centric (1) qepcad (1) prover (1) palett (1) verif (1) user (1)
Person: Laura I. Meikle
DBLP: Meikle:Laura_I=
Contributed to:
2008Wrote 1 papers:
- CAV-2008-MeikleF #approach #proving #verification
- Prover’s Palette: A User-Centric Approach to Verification with Isabelle and QEPCAD-B (LIM, JDF), pp. 309–313.